基于模型的软件测试技术研究

《基于模型的软件测试技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、舅参未交专业硕士学位论文基于模型的软件测试技术研究ResearchonModelBasedSoftwareTestingTechnologyanditsApplication作者：张清导师：孙文辉北京交通大学2013年6月学位论文版权使用授权书f缈掣螋煳本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索，提供阅览服务，并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机构送交论文的复印件和磁盘。(保

2、密的学位论文在解密后适用本授权说明)学位论文作者签名：导师签名：弓，f、之乏毒签字日期：沙乡年6月达日签字目期：全。f弓年6月嘶中图分类号：TP306UDC：004学校代码：10004密级：公开北京交通大学专业硕士学位论文基于模型的软件测试技术研究ResearchonModelBasedSoftwareTestingTechnologyandits作者姓名：张清导师姓名：孙文辉工程领域：计算机技术Application学职号：11125129称：副教授学位级别：硕士北京交通大学2013年6月致谢岁月如梭，转眼已是

3、匆匆两年。曾记得，入校时正是澄明空灵、红枫如火的秋季，行笔于此，却己是阳光明媚、丰富多彩的夏天了，窗台上洒满了阳光，闭上眼，脑海中就能浮现起来学校第一天的场景。而不久，我却要收起行囊，离开这陪伴了我两年的校园。本论文的工作是在我的导师孙文辉教授的悉心指导下完成的。记得一位师姐曾经说过：对于一个研究生，在学校里最亲的可能就是你的导师，遇到一位投缘的导师真的很重要。很庆幸，我遇到了这样的导师，他渊博的知识、敏锐的思维、严谨的学术作风、独特的视角和随和的性格都深深地感染和影响着我。我非常感谢孙老师给我提供了这样一个研究

4、课题，在这个课题研究中，我接触了很多科学前沿的知识和研究，吸收了很多前辈的研究精髓和设计思维；也非常感谢孙老师在课题研究中对我的指导和帮助，以他的言传身教为我开启了一扇理性认识、理解世界的大门。他还不厌其烦的指出我设计中的缺失，论文中的错误，且总能在我迷惘时为我解惑，给子我深深的启发，引领我对问题看得更深入更透彻，给予我灵感和不断前进的动力。此外，还要感谢实验室的各位老师和师兄师姐们，在这段时间里给予我在资料搜集和科研困惑中的指导和帮助。感谢我可爱的班级同学，特别是我的两位室友两年来的陪伴。她们在我学习和生活上遇

5、到困难的时候，开导我，关心我，给予我无微不至的鼓励和帮助。如果没有她们，开心的时候没有人和我一起分享，伤心的时候也没有人陪我一起难过，那么生活将是索然无味的。最后，谨以此文献给我挚爱的家人，感谢老爸、老妈、哥哥、姐姐的默默支持，这些都是我前进的动力，没有你们的付出、体谅和包容，相信就没有今天的我，我将用我的一生去回报。要感谢的人实在太多，唯有将这份感激和感动深深地保存于内心。在此论文即将封笔之际，有喜悦，有激动，有遗憾，有不舍，还有些许担心。研究生生活的结束对于我来说，意味着一个新的开始，前方又有新的机遇和挑战，

6、我将带上所有的祝愿勇往直前。北京交通大学硕士学位论文中文摘要中文摘要软件是现代服务业发展的核心，但是随着软件系统规模和复杂性的增长，如何大力提升软件产品的质量和可靠性，满足消费者追求安全可靠的心理，成为当前软件产业发展的新问题。软件测试就是利用测试工具按照测试方案和流程对产品进行功能和性能测试，甚至根据需要编写不同的测试工具，设计和维护测试系统，对测试方案可能出现的问题进行分析和评估。执行测试用例后，需要跟踪故障，以确保开发的产品满足用户的需求。基于模型的测试是指根据需求文档建立的模型来产生测试用例，再通过输入测

7、试用例，来确认实际的软件实现是否与建立的模型相符。模型是指对被测系统与其行为动作的抽象描述，并不关心程序的具体实现。本文主要研究基于模型的测试用例生成方法及测试用例的优化。首先介绍基于模型测试的方法以及模型的选择，分析各种模型的可测性。其次基于上述分析，本文选择有限状态机建模，研究五种基于有限状态机的测试序列的生成方法：转换路径法、区分序列法、特征序列法、部分特征序列法、唯一输入／输出序列法。根据测试覆盖准则，讨论这五种方法的缺陷覆盖情况，然后通过在测试框架NModel对通信协议相应的GSMl1．11进行测试。关

8、键词：软件测试；基于模型的测试；FSM；测试生成分类号：TP306北京交通大学硕士学位论文ABSTRACTABSTRACTSoftwarehasbeenthecoreofmodemserviceindustry．Asthesoftwarescaleandcomplexityincreasing，improvingthequalityandreliabilityofsoft