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

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

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