10.3969/j.issn.1007-130X.2006.07.021
基于扩展有限状态机的定义-清除路径的生成方法
本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集.
类单元测试、扩展有限状态机、定义-使用路径、定义-清除路径、测试用例
28
TP311.5(计算技术、计算机技术)
国防预研基金41315.9.2
2006-07-07(万方平台首次上网日期,不代表论文的发表时间)
共3页
67-69