论文部分内容阅读
软件测试是软件开发过程中重要的组成部分，是保证软件质量的有效手段。本文主要研究了基于UML序列图模型的软件测试方法和工具实现。鉴于UML模型是一种半形式化的建模，本文首先给出了一种将UML序列图模型转换为LTS模型的规则和方法，利用LTS的分析工具找出模型中的错误和缺陷，以此来检查UML序列图模型的正确性。在生成测试用例的过程中，本文研究了一种通过LTS生成测试用例的规则和算法。之后本文给出了基于UML序列图测试自动化的实现，可以通过生成的测试用例自动生成测试脚本来驱动待测系统运行，然后对执行结果进行比较生成测试结果。最后，本文设计实现了一款基于UML序列图模型的软件测试工具，验证了基于UML序列图模型软件测试自动化方法的可行性。