软件产品已经应用到社会生活中的各个领域,人们对于软件产品的质量也越来越重视。软件测试作为保障软件产品质量的主要手段,在整个开发周期中所占的比重也越来越大。随着软件测试技术的广泛应用,各种测试覆盖准则层出不穷。如何选取一个合适的覆盖准则,达到有限测试资源和测试质量之间的折衷,是一个迫切需要解决的问题。　　 目前已有的软件测试覆盖准则研究,大多是针对程序代码或者软件规范的,很少将两者结合起来进行考虑。此外,面向对象技术在软件开发中应用越来越广,正逐步取代传统的面向过程的软件开发技术。同时,随着形式化规范说明的推广和应用,基于规范的软件测试在学术界和工业界得到了广泛的关注。扩展有限状态机(Extended Finite State Machine,EFSM)作为一种常用的软件描述规范,能够更加精确地刻画软件系统的动态行为,这也使得它有了广阔的应用前景。　　 因此,本文从面向对象程序代码和EFSM规范两方面出发,对现有测试覆盖准则进行了分析比较,给出了两个新的测试覆盖准则:针对面向对象程序代码的基本MM(方法／消息)路径覆盖准则和针对EFSM规范的基本迁移路径覆盖准则,对现有的测试覆盖准则进行了扩充,并对基于面向对象程序和EFSM规范的测试覆盖准则进行了公理化评估,通过实验得出了一组包含关系,验证了公理评估的结论,给出了基于EFSM规范的和面向对象程序的测试覆盖准则之间的一些对应关系,为测试人员在测试准则的选取上提供了一定的指导。