第一章 绪论 1
1.1 软件测试概述 1
1.2 测试充分性准则 3
1.3 基于规格说明的软件测试 5
1.4 面向对象的软件测试 9
1.5 相关术语 17
1.6 论文大纲 17
第二章 对逻辑覆盖准则的公理化评估 19
2.1 逻辑覆盖准则 21
2.2 逻辑覆盖准则的公理系统 26
2.3 评估 33
2.4 小结 37
第三章 基于形式规格说明的类测试准则 39
3.1 类内部测试准则 40
3.2 实例研究 51
3.3 测试结果和分析 56
3.4 小结 61
第四章 基于形式规格说明的测试类框 62
4.1 测试类框架 64
4.2 实例研究 73
4.3 小结 80
第五章 基于形式规格说明的多态关系的测试 81
5.1 基于规格说明的多态测试准则 83
5.2 实例分析 103
5.3 小结 108
第六章 测试类框架的继承扩充 110
6.1 继承和Object-Z 111
6.2 子类测试框架的推导 117
6.3 小结 130
第七章 从测试用例规格说明到测试数据生成 131
7.1 线性规划 131
7.2 求解非线性不等式的策略 133
7.3 小结 141
第八章 系统的实现 143
8.1 系统的总体框架 143
8.2 用例的实现 145
8.3 小结 157
第九章 结束语 158
9.1 本文主要贡献 158
9.2 将来的工作 160
附录 162
参考文献 204
致谢 210