面向对象软件和EFSM 规范测试覆盖准则比较
测试覆盖准则是软件测试的一个重要组成部分。目前已有的覆盖准则研究，大多从程序代码或者规范出发，很少将两者结合起来考虑。另外，面向对象软件和EFSM(扩展有限状态机)规范应用越来越广泛。本文从面向对象程序代码和EFSM规范两方面出发，对现有测试覆盖准则进行了分析比较，给出了两个新的测试覆盖准则，对现有测试覆盖准则进行了扩充，并对基于面向对象程序和EFSM规范的测试覆盖准则进行了公理化评估，通过实验进一步分析了基于规范的和面向对象程序的测试覆盖准则之间的一些对应关系，为测试人员在测试准则的选取上提供了一定的指导。
软件开发 软件测试 程序代码 EFSM规范
王晓峰 赵瑞莲
北京化工大学 计算机科学系,北京 100029
国内会议
北京
中文
1-7
2011-07-30（万方平台首次上网日期，不代表论文的发表时间）