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

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

作　　者：毛澄映[1] 卢炎生[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,湖北武汉430074

出　　处：《计算机工程与科学》2005年第8期65-69,共5页Computer Engineering & Science

基　　金：十五国防预研项目(41315.9.2)

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

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]