基于EFSM的测试用例自动生成方法的研究-计算机技术专业论文.docxVIP

学位论文版权使用授权书 本学位论文作者完全了解 浙江理工大学 有权保留并向国家有关 部门或机构送交本论文的复印件和磁盘，允许论文被查阅和借阅 。 本人授权 浙江理工大学 可以将学位论文的全部或部分内容编入有关 数据库进行检索和传播 7 可以采用影印、缩印或扫描等复制手段保 存、汇编学位论文。 (保密的学位论文在解密后适用本授权书) 学位论文作者签名:东份 签字日期: )O/T 年号月?日 导师签名: 7广 签字日期 :沪j 年 3 月 f 日 万方数据 摘 要 信息技术的快速发展，软件产品越来越被应用到社会中的各个方面，但是，随之而出 现的软件质量及安全问题阻碍着它的蓬勃发展。因此，保证软件质量已成为当今广大专家 学者和工程人员的重点研究方向。软件测试一直以来都是确保软件质量和安全的重要措施。 然而随着软件复杂性的加剧和软件规模的增加，软件测试已成为一种复杂、耗时的工作， 为了降低软件测试在整个软件开发过程中的人力及物力开销，提高软件整体的质量和可靠 性，软件测试的自动化技术已成为现如今亟须解决的问题。 软件测试自动化技术其中的一个关键点就在于测试用例的自动生成。基于模型的测试 是一种有效的软件测试方法，它可以有效地描述复杂软件系统的状态和行为。其中扩展有 限状态机(Extend Finite State Machine，EFSM)是有限状态机(Finite State Machi