论文部分内容阅读
随着组件技术在软件开发中日益广泛的应用,对软件系统质量的要求也不断提高。因此,保证软件系统可靠性的软件测试技术,也面临着不断革新的需要。由于软件组件自身的一些特点,使得传统的软件测试理论和技术,对基于组件技术构造的软件系统并不完全适用。研究适合组件系统特点的软件测试技术,已成为当前亟待解决的重要问题。 测试用例的设计与生成,是软件测试的重点和难点之所在,其本质是如何依据准确的软件规格说明,来设计和生成有效的测试用例集合。本文以统一建模语言UML为基础,从UML描述的软件系统需求规约中生成测试用例,测试基于组件的软件系统。论文的具体工作如下: 1.首先分析组件系统的特点,从整体上研究了基于UML模型的组件测试方法,给出基于UML模型的测试策略,并对部分模型图进行了可测性与测试策略分析。 2.针对组件系统集成测试中组件间的交互问题,提出UML协作图是测试的重要依据。重点研究了基于UML协作图模型的测试用例设计与生成方法,对协作图的语法、语义进行了形式化的描述和定义。 3.给出了基于UML协作图模型生成测试用例的总体策略,包括基于协作图模型控制流结构的测试场景生成,和针对输入量的测试数据生成;通过扩展传统测试中的路径覆盖准则,提出了一个基于协作图模型的消息序列覆盖准则。 4.对基于UML协作图模型的测试脚本设计与生成进行了初步探索,给出了基于协作图模型的测试脚本生成基本策略。 5.通过与UML建模工具Rational Rose的集成,实现了一个从UML协作图模型自动生成测试用例的工具,并以图书馆管理系统模型为例,生成测试用例进行了测试实验,验证了本文方法的有效性。