新書推薦:

《
春秋世卿政权结构演变研究
》
售價:NT$
398

《
幸福家庭的法律密码
》
售價:NT$
347

《
剑桥现代欧洲思想史·十九世纪
》
售價:NT$
607

《
情绪在创伤后应激障碍中的作用:发生、测量、神经生物机制和治疗
》
售價:NT$
653

《
争襄阳:宋元国运之战
》
售價:NT$
449

《
不可思议的国度 日本动画电影80年
》
售價:NT$
959

《
经纬度丛书·荷兰帝国史:海上霸主的衰落
》
售價:NT$
398

《
无人作战系统
》
售價:NT$
500
|
| 內容簡介: |
|
本书提出了一种基于程序切片技术的自动化软件测试工具架构,提出了一种测试数据的自动生成和测试用例集约简的框架模型,便于在整个测试过程实现测试用例集的自动化管理。同时,将基于IO关系的黑盒测试用例集约简技术归结为问题空间I,O,提出了两种算法对I,O进行约简,进而利用贪心算法实现约简。最后,将程序切片技术和测试信息相结合提出了两种软件错误定位策略。本书有较高的理论创新价值,值得出版。
|
| 目錄:
|
1 绪论
1.1课题研究的背景和意义
1.2国内外的研究现状和发展动态
1.2.1软件测试技术和软件测试自动化技术
1.2.2程序切片技术
1.2.3测试数据的自动生成技术
1.2.4测试用例集约简技术
1.2.5回归测试自动化技术
1.2.6软件错误定位技术
1.3本书的主要研究内容以及创新点
1.4本书的组织结构
2基于程序切片的测试自动化技术
2.1程序切片技术简介
2.1.1程序切片概念
2.1.2程序切片准则
2.1.3程序切片算法
2.1.4程序切片分类
2.2程序切片技术在软件测试中的应用研究
2.2.1程序切片技术在测试数据自动生成中的应用
2.2.2程序切片技术在错误定位中的应用
2.2.3程序切片技术在回归测试中的应用
2.2.4程序切片技术在测试覆盖分析中的应用
2.2.5程序切片技术在测试用例集约简中的应用
2.3基于程序切片的软件测试过程研究l
2.3.1 采用程序切片改进传统软件测试策略的原因
2.3.2基于程序切片的软件测试自动化过程
2.4基于切片技术的软件自动测试工具的架构
2.5本章小结
3 测试用例集的管理以及测试用例集的自动生成和约简模型
3.1相关定义
3.1.1测试用例
3.1.2测试用例集
3.2测试用例集的管理
3.3测试用例集的自动生成和约简框架
3.4本章小结
4黑盒测试数据的自动生成和测试用例集约简
4.1黑盒测试简介
4.1.1黑盒测试定义
4.1.2黑盒测试用例生成常用方法
4.1.3黑盒测试用例集约简的常用方法
4.2黑盒测试用例集的自动生成和约简框架
4.3基于IO关系的黑盒测试用例集约简问题1.0
4.3.1 问题空问1,0
4.3.2基于程序切片的I0关系分析
4.4 Schroeder的算法改进
4.4.1 Schroeder的3种测试用例集约简算法
……
5白盒测试数据的自动生成和测试用例集约简
6基于程序切片技术的软件错误定位策略
7回归测试策略
8总结
参考文献及网站
后记
|
|