COM组件测试用例及测试脚本自动生成方法研究

论文摘要

组件和基于组件的软件开发是目前软件工程领域研究的热点。基于组件的开发方法使得软件系统的开发和维护变得更为简单,并且大大地提高了软件的可复用性和软件开发效率。但是,采用有问题的组件或者不正确地部署了组件,会给整个软件系统带来灾难性的后果。组件通常是由第三方软件厂商直接提供,组件的源代码对于使用者通常不可见,很多传统的软件测试方法不能直接用于组件测试中。同时,组件和基于组件软件具有的封装和状态特性也增加了组件和基于组件软件的测试难度。作为软件测试核心的测试用例和测试脚本的生成方法一直是软件测试领域研究的重点和热点。组件和基于组件软件的测试用例生成既要充分的运用已有的成熟测试技术和方法,又要考虑到组件源代码不可见、封装和状态等特性。组件的状态特性与面向对象技术中对象的状态特性有一定的相似性,可以通过扩充面向对象的测试方法来测试组件和基于组件软件。模态性是类在状态和接受消息上的限制。依据组件的状态特性,在组件中引入模态性概念,将组件分为非模态组件和模态组件。对具有不同特征的组件进行有针对性的测试。在组件模态性分析的基础上,分别针对非模态组件和模态组件进行从测试用例到测试脚本自动生成方法的研究。对于非模态组件,采用边界值和二元组合测试方法,结合XML技术和反射机制来实现测试用例及脚本的自动化生成;而对于模态组件,除使用非模态组件的测试方法外,还定义了扩展邻接表和扩展约束对照表来存储状态信息,并结合基于流的测试方法来产生方法序列测试用例及脚本。在理论研究的基础上开发出COM组件测试用例及脚本自动生成子系统,验证了测试用例及脚本生成方法的有效性。

论文目录

• 摘要
• ABSTRACT
• 1 绪论
• 1.1 研究背景和意义
• 1.2 国内外研究现状
• 1.3 研究目标及方法
• 1.4 主要内容及组织
• 2 COM 组件测试方法
• 2.1 软件测试方法.
• 2.2 COM 组件模态性.
• 2.3 组件测试方法
• 2.4 本章小结
• 3 非模态组件测试用例自动生成方法
• 3.1 非模态组件测试用例生成方法及其自动化
• 3.2 组件接口成员函数信息的分析
• 3.3 接口成员函数参数边界值分析
• 3.4 非模态组件测试用例及脚本生成
• 3.5 本章小结
• 4 模态组件测试用例自动生成方法
• 4.1 模态组件测试用例生成方法及其自动化
• 4.2 模态组件与状态机
• 4.3 模态组件测试用例及脚本生成
• 4.4 本章小结
• 5 系统实现及实验分析
• 5.1 CSTS 及测试用例生成子系统结构
• 5.2 测试用例及脚本自动化生成工具简介及分析
• 5.3 本章小结
• 6 结束语
• 6.1 文章总结
• 6.2 进一步工作
• 致谢
• 参考文献
• 攻硕期间科研情况
• 附件1 非模态组件信息说明文档