2004年上海大学博士学位论文 14 基于面向对象形式规格说明的测试用例生成技术PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:刘玲著
- 出 版 社:上海大学出版社
- 出版年份:2222
- ISBN:
- 页数:210 页
第一章 绪论 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
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《绿色过程工程与清洁生产技术 张懿院士论文集精选 上》《绿色过程工程与清洁生产技术》编写组编 2019
- 《近代以来中国大众话语的生成与流变》罗崇宏著 2019
- 《面向可持续发展的马克思主义经济科学研究》刘正刚,李晓,田军著 2018
- 《唐墓壁画国际学术研讨会论文集》陕西历史博物馆编 2006
- 《经济转型时期中国环境规制政策问题研究》冯卓著 2019
- 《管道科学研究论文选集 2009-2013》中国石油天然气管道科学研究院,油气管道输送安全国家工程实验室编 2014
- 《真菌毒素控制集成解决方案 第二届MycoKey国际真菌毒素大会论文集》冯洁 2018
- 《“当代中国与世界研究”丛书 讲好中国故事 传播好中国声音 第五届全国对外传播理论研讨会论文集》(中国)于运全 2019
- 《面向工程教育的本科计算机类专业系列教材 普通高等教育“十一五”国家级规划教材 计算机网络 第3版》胡亮,徐高潮,魏晓辉,车喜龙编 2018
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019