10.3969/j.issn.1007-130X.2005.08.021
面向对象类簇级测试中控制依赖分析方法研究
类簇控制依赖信息是进行类间数据流测试的基础.本文通过克服已有类控制流分析的不足之处,提出了CCFG算法,依照类间测试序,通过分析继承、聚集和关联等类间关系特征进而增量式地构造类间控制流图(ICCFG算法),并初步探讨了动态控制依赖分析方法.实验表明,上述控制流分析方法可方便地用于类间数据流测试,并能有效地探测定义-使用错误.
类控制流图CCFG、类间控制流图ICCFG、类间关系、数据流测试
27
TP311.5(计算技术、计算机技术)
国防预研基金41315.9.2
2005-08-18(万方平台首次上网日期,不代表论文的发表时间)
共5页
65-69