关键词: 类控制流图CCFG 类间控制流图ICCFG 类间关系 数据流测试

Abstract:

The control dependency information of class cluster is the foundation of inter-class dataflow testing. This paper presents a new CCFG algorithm by ove rcoming some defects of the existing class control flow analysis approaches. According to the inter-class test order, we incrementally construct the int  er-class control flow graph by analyzing the characteristics of class relationships such as inheritance, aggregation and association, and propose an alg orithm named ICCFG. We also preliminarily discuss the methods of dynamic control dependency analysis. Empirical results show that such approaches for co ntrol flow analysis can be expediently used for dataflow testing and can effectively detect the du-pair faults.

Key words: （class control flow graph, inter-class control flow graph class relationship, dataflow testing）