Methods for the Control Dependency Analysis in Object-Oriented Class-Cluster-Level Testing
Chengying Mao · Computer Engineering and Science · 2005
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.