面向对象类簇级测试中控制依赖分析方法研究

类簇控制依赖信息是进行类间数据流测试的基础。本文通过克服已有类控制流分析的不足之处，提出了CCFG算法，依照类间测试序，通过分析继承、聚集和关联等类间关系特 征进而增量式地构造类间控制流图（ICCFG算法），并初步探讨了动态控制依赖分析方法。实验表明，上述控制流分析方法可方便地用于类间数据流测试，并能有效地探测定义一使用错误。

Methods for the Control Dependency Analysis in Object-Oriented Class-Cluster-Level Testing

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