论文部分内容阅读
软件测试作为软件开发过程的重要环节,是保证软件质量,提高软件可靠性的重要手段。软件开发技术的发展,也必然会带动软件测试技术的发展。组件技术在软件开发中应用的日益广泛,而组件技术的一些特点使得传统的软件测试理论和技术,对基于组件技术构造的软件系统并不完全适用。研究适合组件系统特点的软件测试技术,已成为当前软件测试技术的重要问题。 本论文主要研究面向用户的组件软件测试技术,即从用户的角度,以UML状态图模型描述的规格说明书为依据,生成测试用例,并以此来验证所获取组件在当前系统环境中的有效性。论文研究的组件调度测试框架,采取调度机制运行预先生成的用例进行测试,对多个候选组件实现了测试用例的复用技术。 论文的具体工作如下: 1.首先分析组件系统的特点,从整体上研究了基于UML模型的组件测试方法,给出基于UML模型的测试策略,并对UML状态图模型进行了可测性与测试策略分析。 2.在用例生成方面,参考了A.J.Offutt提出的几种基于状态规格说明的系统测试要求,提出了转移参数完全覆盖准则,保证了测试的充分性;闸述了基于UML状态图和OCL约束文档的测试用例生成方法,结合UML状态图和OCL约束文件,自动生成测试用例。 3.研究了一种面向用户的组件调度测试方法,建立一个完整的组件测试模型,包括了从分析基于UML状态图的规格说明书开始,到生成测试用例,并调度组件运行这些用例,最后分析测试结果并生成测试结果报表的整个过程。该模型可在用户获得任何待测组件之前根据用户需求生成测试用例,实现了测试用例的生成与待测组件实现细节之间的相互独立。 4.在理论研究的基础上,实现了一个完整的组件调度测试系统,并以一个FTP客户端组件为例,生成测试用例进行了测试实验,验证了本文方法的有效性。