软件测试基础 原书第2版
全新正版 极速发货
￥ 45.2 5.7折 ￥ 79 全新
库存5件
广东广州
认证卖家担保交易快速发货售后保障
作者(美)保罗·阿曼(Paul Ammann),(美)杰夫·奥法特(Jeff Offutt)
出版社机械工业出版社
ISBN9787111611295
出版时间2018-11
装帧平装
开本16开
定价79元
货号1201785027
上书时间2024-11-14
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
保罗·阿曼（Paul Ammann）是乔治梅森大学软件工程副教授。他于2007年获得Volgenau工程学院的杰出教学奖。他领导开发了应用计算机科学学位，现任软件工程硕士项目主任。Ammann在软件工程领域已经发表了超过80篇文章，尤其着重于软件测试、软件安全、软件依赖性和软件工程教育方向。
杰夫·奥法特（Jeff Offutt）是乔治梅森大学软件工程教授。他于2013年获得乔治梅森大学杰出教学奖。他在基于模型测试、基于准则测试、测试自动化、经验软件工程和软件维护等方面已经发表了超过165篇文章。他是《软件测试、验证和可靠性》期刊的主编。他还帮助创建了IEEE靠前软件测试大会，同时也是uJava项目的创始人。
目录
出版者的话
译者序
前言
部分软件测试基础
章为什么测试软件2
1.1软件何时会出现问题3
1.2软件测试的目的6
1.3参考文献注解13
第2章模型驱动测试设计15
2.1软件测试基础15
2.2软件测试活动17
2.3基于软件活动的测试级别17
2.4覆盖准则19
2.5模型驱动测试设计21
2.5.1测试设计22
2.5.2测试自动化22
2.5.3测试执行23
2.5.4测试评估23
2.5.5测试者和抽象23
2.6MDTD为什么重要25
2.7参考文献注解25
第3章测试自动化27
3.1软件可测性27
3.2测试用例的构成28
3.3测试自动化框架30
3.3.1JUnit测试框架31
3.3.2数据驱动测试35
3.3.3在单元测试中添加参数36
3.3.4从命令行运行JUnit38
3.4超越自动化38
3.5参考文献注解41
第4章测试优先42
4.1驯服改动成本曲线42
4.1.1改动成本曲线真的被驯服了吗43
4.2测试装具——守护者44
4.2.1持续集成45
4.2.2敏捷方法中的系统测试45
4.2.3将测试加入遗留系统46
4.2.4敏捷方法中测试的弱点47
4.3参考文献注解48
第5章基于准则的测试设计49
5.1定义覆盖准则49
5.2不可行性和包含52
5.3使用覆盖准则的好处53
5.4下一个部分54
5.5参考文献注解54
第二部分覆盖准则
第6章输入空间划分58
6.1输入域建模60
6.1.1基于接口的输入域建模61
6.1.2基于功能的输入域建模61
6.1.3设计特征62
6.1.4选择区块和测试值63
6.1.5检查输入域模型65
6.2组合策略准则66
6.3检查特征之间的约束71
6.4扩展实例：从JavaDoc中推导IDM72
6.4.1设计基于IDM的测试用例中的任务72
6.4.2为迭代器设计基于IDM的测试用例73
6.5参考文献注解78
第7章图覆盖82
7.1概述82
7.2图覆盖准则86
7.2.1结构化的覆盖准则87
7.2.2游历、顺路和绕路90
7.2.3数据流准则97
7.2.4图覆盖准则间的包含关系103
7.3基于源代码的图覆盖104
7.3.1基于源代码的结构化图覆盖104
7.3.2基于源代码的数据流图覆盖108
7.4设计元素的图覆盖116
7.4.1设计元素的结构化图覆盖116
7.4.2设计元素的数据流图覆盖118
7.5设计规范的图覆盖124
7.5.1测试顺序约束125
7.5.2测试软件的行为状态127
7.6用例的图覆盖134
7.6.1用例场景137
7.7参考文献注解137
第8章逻辑覆盖141
8.1有效的语义逻辑覆盖准则141
8.1.1简单的逻辑覆盖准则142
8.1.2有效子句覆盖144
8.1.3无效子句覆盖148
8.1.4不可行性和包含148
8.1.5让子句决定谓词150
8.1.6找到满足准则的取值153
8.2语法逻辑覆盖准则157
8.2.1蕴涵项覆盖158
8.2.2极小DNF159
8.2.3MUMCUT覆盖准则160
8.2.4卡诺图163
8.3程序的结构化逻辑覆盖166
8.3.1满足谓词覆盖169
8.3.2满足子句覆盖170
8.3.3满足有效子句覆盖171
8.3.4谓词转换问题174
8.3.5谓词中的副作用176
8.4基于规范的逻辑覆盖178
8.5有限状态机的逻辑覆盖180
8.6参考文献注解184
第9章基于语法的测试187
9.1基于语法的覆盖准则187
9.1.1基于通用语法的覆盖准则187
9.1.2变异测试189
9.2基于程序的语法192
9.2.1编译器的BNF语法192
9.2.2基于程序的变异193
9.3集成测试和面向对象测试206
9.3.1BNF集成测试206
9.3.2集成变异206
9.4基于规约的语法212
9.4.1BNF语法212
9.4.2基于规约的变异212
9.5输入空间的语法215
9.5.1BNF语法215
9.5.2变异输入语法218
9.6参考文献注解222
第三部分实践中的测试
0章管理测试过程226
10.1概述226
10.2需求分析和规约227
10.3系统和软件设计227
10.4中间设计228
10.5详细设计228
10.6实现229
10.7集成229
10.8系统部署229
10.9运行和维护229
10.10实现测试过程230
10.11参考文献注解230
1章编写测试计划231
11.1分层测试计划模板231
11.2参考文献注解233
2章测试实现234
12.1集成顺序234
12.2测试替身235
12.2.1桩和模拟：测试替身的变种236
12.2.2使用测试替身来代替组件237
12.3参考文献注解240
3章软件演化中的回归测试241
13.1参考文献注解243
4章编写有效的测试预言244
14.1应该检查的内容244
14.2决定正确的测试值245
14.2.1对输出进行基于规约的直接验证246
14.2.2冗余计算246
14.2.3一致性检查247
14.2.4蜕变测试247
14.3参考文献注解248
测试准则表250
参考文献252
索引269
内容摘要
This extensively classroom-tested text uses an innovative approach to explaining software testing,and covers the latest techniques to test software such as OO,web applications,and embedded software.This new edition features vastly expanded coverage of the basics and the JUnit framework,as well as many new examples and exercises.
精彩内容
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价