面向对象类级测试用例生成的一种辅助工具的研究与实现

论文摘要

面向对象的软件测试包括方法级、类级、簇级和系统级。基于代数规格说明,本文描述了生成基本等价对及其所诱导出的非等价对作为面向对象类级测试用例的一个辅助工具的研究与实现。本文的具体工作是,在给出的范式和公理的基础上,将GFT算法实现为半自动化辅助工具,包括范式的代入与预备基本对的生成、子域的划分、公理条件的处理和变量的随机取值以及相应的数据结构的设计。另一方面,对导师提出的由基本等价对诱导生成非等价对的一种方案进行细化,包括构造所需的若干子算法及相应的数据结构,并实现相应的辅助工具和分析其有效性问题。最后,对辅助工具进行实验与结果分析。

论文目录

• 摘要
• Abstract
• 目录
• 前言
• 第一章 概论
• 1.1 软件测试
• 1.2 基于形式化方法的面向对象软件测试
• 1.3 基于代数规格说明的面向对象软件测试
• 第二章 面向对象类级测试基本原理
• 2.1 一些定义与定理
• 2.2 基本原理
• 第三章 面向对象类级测试用例生成算法
• 3.1 类级测试用例生成的基本过程
• 3.2 诱导性非等价对生成的基本过程
• 第四章 类级测试用例生成算法的实现
• 4.1 概述
• 4.2 文件内容提取与过滤
• 4.3 基本等价对的生成
• 4.4 非等价对的生成
• 4.5 Windows界面的编写
• 第五章 实例与运行结果
• 5.1 运行情况
• 5.2 结果分析
• 第六章 总结与展望
• 6.1 本文工作总结
• 6.2 进一步展望
• 参考文献
• 致谢