2004年上海大学博士学位论文 14 基于面向对象形式规格说明的测试用例生成技术PDF电子书下载

第一章 绪论 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