论文部分内容阅读
随着软件规模的不断扩大,软件错误也越来越容易产生。尽早地检测软件中的错误是软件开发过程中的一个重要任务,也是降低软件开发成本的主要手段,因此很多的软件测试技术应运而生。特别是在面向对象技术应用于软件开发过程之后,提出了许多针对面向对象软件的测试技术和方法。但相对于面向对象的分析、设计技术而言,面向对象软件测试技术显得比较薄弱。Petri网是的一种描述同步、并发行为的信息系统及其相互关系的网型数学模型。它具有一整套严格的理论分析方法和工具,将其应用在软件测试领域,可以有效的进行软件的形式化分析和测试。为此,本文应用了着色Petri网对面向对象软件测试中类及交互进行测试的技术和方法,并详细地给出了完整的实现方案。
首先,讨论了着色Petri网与面向对象概念之间的关系,根据其关系,将面向对象的概念映射到着色Petri网中,根据其类图和状态图,得到相应类的着色Petri网,利用着色Petri网的理论分析方法,对类进行测试;其次,讨论了如何利用着色Petri网来优化交互测试中的抽样方法——正交阵列测试方法。利用着色Petri网的颜色集特性,表示交互中状态节点的前驱节点和后继节点集合,提出交互测试路径算法,根据该算法解决了交互测试中测试用例过多而产生的测试用例“爆炸”以及不易扩展性的问题。最后,对论文工作进行了全面的总结,并对今后的研究工作做出了展望。