论文部分内容阅读
测试覆盖准则是软件测试的一个重要组成部分。目前已有的覆盖准则研究，大多从程序代码或者规范出发，很少将两者结合起来考虑。另外，面向对象软件和EFSM(扩展有限状态机)规范应用越来越广泛。本文从面向对象程序代码和EFSM规范两方面出发，对现有测试覆盖准则进行了分析比较，给出了两个新的测试覆盖准则，对现有测试覆盖准则进行了扩充，并对基于面向对象程序和EFSM规范的测试覆盖准则进行了公理化评估，通过实验进一步分析了基于规范的和面向对象程序的测试覆盖准则之间的一些对应关系，为测试人员在测试准则的选取上提供了一定的指导。