面向对象软件和ERSM规范测试覆盖准则比较-计算机应用技术专业毕业论文.docxVIP

产品的质 产品的质， 日口H、J以及 在整个开 发周期中所占的比重也越来越大。随着软件测试技术的广泛应用，各种测 试覆盖准则层出不穷。如何选取一个合适的覆盖准则，达到有限测试资源 和测试质量之间的折衷，是一个迫切需要解决的问题。 目前已有的软件测试覆盖准则研究，大多是针对程序代码或者软件规 范的，很少将两者结合起来进行考虑。此外，面向对象技术在软件开发中 应用越来越广，正逐步取代传统的面向过程的软件开发技术。同时，随着 形式化规范说明的推广和应用，基于规范的软件测试在学术界和工业界得 到了广泛的关注。扩展有限状态机(EXtended Finite State Machine，EFSM) 作为一种常用的软件描述规范，能够更加精确地刻画软件系统的动态行 为，这也使得它有了广阔的应用前景。 因此，本文从面向对象程序代码和EFSM规范两方面出发，对现有 测试覆盖准则进行了分析比较，给出了两个新的测试覆盖准则：针对面向 对象程序代码的基本MM(方法／消息)路径覆盖准则和针对EFSM规范的 基本迁移路径覆盖准则，对现有的测试覆盖准则进行了扩充，并对基于面 向对象程序和EFSM规范的测试覆盖准则进行了公理化评估，通过实验 得出了一组包含关系，验证了公理评估的结论，给出了基于EFSM规范 北京化工大学硕士学位论文的和面向对象程序的测试覆盖准则之间的一些对应关系，为测试人员在测 北京化工大学硕士学位论文 的和面向对象程序的测试覆盖准则之间的一些对应关系，为测试人员在测 试准则的选取上提供了一定的指导。 关键字：测试覆盖准则，测试质量，面向对象程序代码，EFSM规范，包 含关系 II ABSTRACTCoMPARISoN ABSTRACT CoMPARISoN oF oBJECll-oRIENTED SoFTWARE AND EFSM SPECIFICATIoN TESTING CoVERAGE CRITERJA ABSTRACT SoRware products have been applied to every domain of social liVes，and people haVe attached more and more importance to quality of soRware products．SomⅣare testing is ta妯ng more and more shares through the entire development cycle as a pdma巧means to assure the quality of soRware products，too．With the soRware testing technology widely used，the number of testing coVerage criteria is increasing all the time．It’s an u玛ent problem to be solVed mat how to choose an印propriate coVerage criterion and get a tradeoff between limited testing resources and testing quali够 Now；existing research on soRware testing coVerage criteria haVe mostly started f幻m program code or soRware specification，and rarely considered me two sides together．MoreoVer，me object-oriented technology is being widely used in the soRware deVelopment and r印lacing me traditional procedure—oriented soRware development tecllIlology st印by st印．Meanwhile， along with promotion and application of formal specification，soRware testing based on specification is gaining more a11d more attention in the science field and the indus时field．EFSM(Extended Fillite State MaChine)is a so脚are d印iction specification in common use