基于UML状态图的软件测试研究-计算机应用技术专业论文.docxVIP

TN82学校代码 分 类 号 TN82  10701 TP31 学 号 1203121818 密 级 公开 西安电子科技大学 硕士学位论文 基于 UML 状态图的软件测试研究 作者姓名： 苗俊磊 领 域： 计算机技术 学位类别： 工程硕士 学校导师姓名、职称 企业导师姓名、职称： 刘西洋 教授 段振华 教授 朱立明 高工 提交日期： 2014 年 12 月 A Study of UML State Diagrams Model Based Software Testing A thesis submitted to XIDIAN UNIVERSITY in partial fulfillment of the requirements for the degree of Maste in Computer Technology By Miao Junlei Supervisor: Liu Xiyang Duan Zhenhua Zhu Liming December 2014 西安电子科技大学 学位论文独创性（或创新性）声明 秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师 指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢 中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成果；也不包含 为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工 作的同志对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。 申请学位论文与资料若有不实之处，本人承担一切的法律责任。 本人签名： 日 期： 西安电子科技大学 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究生在 校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保留送交论 文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容，可以允许 采用影印、缩印或其它复制手段保存论文。同时本人保证，毕业后结合学位论文研究 课题再撰写的文章一律署名单位为西安电子科技大学。 （保密的论文在解密后遵守此规定） 本学位论文属于保密，在 年解密后适用本授权书。 本人签名： 导师签名： 日 期： 日 期： 摘要 软件测试是确保软件正确性和增加软件可信性最基本的手段。为了尽可能减 少软件测试的成本，大量的学术人员投入了越来越多的精力到软件测试方法和工 具的研究上。作为标准建模语言，UML 能够清晰且准确地表示软件系统的结构和 功能，它既包含了软件需求分析阶段的信息，也为软件的实现提供了依据，所以 根据 UML 模型自动产生测试用例并完成相关测试，具有重要的现实意义。 本文以基于模型软件测试的相关理论和方法为基础，重点研究了基于 UML 状 态图软件测试的方法。首先利用图论中的深度优先搜索算法对状态图进行遍历， 得到满足相应覆盖准则的测试用例。然后利用 Soot 工具将待测程序转换为控制流 图，通过遍历得到程序的方法执行路径，接着借助于最短编辑距离算法，完成模 型路径与程序路径的匹配。之后提出了测试用例自动执行的实现方法，通过自动 产生的测试脚本，驱动插桩后的待测程序运行，然后获取实际执行结果，并且完 成结果比较。最后本文设计了一款基于 UML 状态图的软件测试工具，并且给出了 详细的设计方案和实现过程。 关键字：UML 状态图， 测试用例， Soot 工具， 插桩技术， 测试脚本 论文类型：应用软件技术 ABSTRACT Software testing is the most essential mean to ensure software correctness and improve software reliability. In order to minimize the time spent on software testing, a lot of researchers dedicate to the research of software testing methods and tools. As a standard modeling language, UML can be used to describe the structure and function of software systems. UML models not only contain the information involved in the process of demand analysis, but also provide the basis for the implementation of softw