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