基于UML序列图模型的软件测试研究-计算机软件与理论专业论文.docx

摘要 软件测试是软件开发过程中重要的组成部分，是保证软件质量的有效手段。 本文主要研究了基于 UML 序列图模型的软件测试方法和工具实现。 鉴于 UML 模型是一种半形式化的建模，本文首先给出了一种将 UML 序列图 模型转换为 LTS 模型的规则和方法，利用 LTS 的分析工具找出模型中的错误和缺 陷，以此来检查 UML 序列图模型的正确性。在生成测试用例的过程中，本文研究 了一种通过 LTS 生成测试用例的规则和算法。之后本文给出了基于 UML 序列图测 试自动化的实现，可以通过生成的测试用例自动生成测试脚本来驱动待测系统运 行，然后对执行结果进行比较生成测试结果。 最后，本文设计实现了一款基于 UML 序列图模型的软件测试工具，验证了基 于 UML 序列图模型软件测试自动化方法的可行性。 关键词：UML 序列图 LTS 测试用例 测试自动化 Abstract Software testing is an important role in the process of software development, and it is an effective method of assuring the quality of software. This thesis mainly researches on the method of UML sequence diagrams based software testing and realizing of the tool. Since the UML models are semi-formal, the rules and the algorithms of transforming sequence diagrams to LTS are presented. And then, using the analyzing tools of LTS, the errors and defects of the models can be found, which can check the software. For generating the test cases, this thesis presents rules and algorithms of generating test cases by using LTS. Then, the realization of UML sequence diagrams based software testing implementing automatically is presented, which generates the test scripts from the test cases to drive the system tested running, and compares the results of the implementing to generate the results of testing. Finally, the design and the implementation of a UML sequence diagrams based software testing tool is introduced, and this tool ensures the feasibility of UML sequence diagrams based software testing. Keyword: UML Sequence Diagram LTS Test Cases Testing Automatically 目录 第一章 绪论..................................................................................................................... 1 1.1 研究背景............................................................................................................ 1 1.1.1 软件测试概述......................................................................................... 1 1.1.2 软件测试分类............................................................