书籍详情
《软件测试基础计算机软件测试书籍》[41M]百度网盘|亲测有效|pdf下载

  • 软件测试基础计算机软件测试书籍

  • 出版社:互动创新图书专营店
  • 出版时间:2018-11
  • 热度:7113
  • 上架时间:2024-06-30 09:08:33
  • 价格:0.0
书籍下载
点击下载
书籍预览
查看链接
免责声明

本站支持尊重有效期内的版权/著作权,所有的资源均来自于互联网网友分享或网盘资源，一旦发现资源涉及侵权，将立即删除。希望所有用户一同监督并反馈问题，如有侵权请联系站长或发送邮件到ebook666@outlook.com,本站将立马改正

内容介绍





> 书[0名0]：  软[亻牛]测试基础（原书[0第0]2版）|8054088
> 图书定价： 79元
> 图书作者： （美）保罗·阿曼（Paul Ammann）;（美）杰夫·奥[0法0]特（Jeff Offutt）
> 出版社：  [1机1]械工业出版社
> 出版日期：  2018/11/1 0:00:00
> ISBN号： 9787111611295
> 开本： 16开
> 页数： 0
> 版次： 1-1
 作者简介
保罗·阿曼（Paul Ammann）是乔治梅森[0大0][0学0]软[亻牛]工程副教授。他于2007年获得Volgenau工程[0学0]院的杰出教[0学0]奖。他[令页]导开发了应用计算[1机1]科[0学0][0学0]位，现任软[亻牛]工程硕士项目[1主1]任。Ammann在软[亻牛]工程[令页]域已[纟巠]发表了[0超0]过80篇文章，尤其着重于软[亻牛]测试、软[亻牛]安全、软[亻牛]依赖性和软[亻牛]工程教育方向。
杰夫·奥[0法0]特（Jeff Offutt）是乔治梅森[0大0][0学0]软[亻牛]工程教授。他于2013年获得乔治梅森[0大0][0学0]杰出教[0学0]奖。他在基于模型测试、基于准则测试、测试自动化、[纟巠]验软[亻牛]工程和软[亻牛]维护等方[mian]已[纟巠]发表了[0超0]过165篇文章。他是《软[亻牛]测试、验证和可靠性》期刊的[1主1]编。他还帮助创建了IEEE[0国0]际软[亻牛]测试[0大0][0会0]，同时也是uJava项目的创始人。
 内容简介
本书采用了一种创[亲斤]性的方[0法0]来解释软[亻牛]测试：软[亻牛]测试被定义为一个将具有通用目的且精确的准则应用于软[亻牛]结构或模型的过程。本书覆盖了软[亻牛]测试的[亲斤]发展，包括测试现代软[亻牛]类型（比如[mian]向对象、网络应用程序和嵌入式软[亻牛]）的技术。[0第0]2版[0极0][0大0]地扩展了基础[0知0]识，详尽地讨论了测试自动化框架，还增加了[亲斤]的例子以及[0大0]量的练习。
 目录

出版者的话
译者序
前言
[0第0]一部分　软[亻牛]测试基础
[0第0]1章　为什么测试软[亻牛] 2
1.1　软[亻牛]何时[0会0]出现问题 3
1.2　软[亻牛]测试的目的 6
1.3　参考文献注解 13
[0第0]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　测试[0评0]估 23
2.5.5　测试者和抽象 23
2.6　MDTD为什么重要 25
2.7　参考文献注解 25
[0第0]3章　测试自动化 27
3.1　软[亻牛]可测性 27
3.2　测试用例的构成 28
3.3　测试自动化框架 30
3.3.1　JUnit测试框架 31
3.3.2　数据驱动测试 35
3.3.3　在单元测试中添加参数 36
3.3.4　从命令行运行JUnit 38
3.4　[0超0]越自动化 38
3.5　参考文献注解 41
[0第0]4章　测试[0优0]先 42
4.1　驯服改动成本曲线 42
4.1.1　改动成本曲线真的被驯服了吗 43
4.2　测试装具——守护者 44
4.2.1　持续集成 45
4.2.2　敏捷方[0法0]中的系统测试 45
4.2.3　将测试加入遗留系统 46
4.2.4　敏捷方[0法0]中测试的弱点 47
4.3　参考文献注解 48
[0第0]5章　基于准则的测试设计 49
5.1　定义覆盖准则 49
5.2　不可行性和包含 52
5.3　使用覆盖准则的[女子]处 53
5.4　下一个部分 54
5.5　参考文献注解 54
[0第0]二部分　覆盖准则
[0第0]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中推导IDM 72
6.4.1　设计基于IDM的测试用例中的任务 72
6.4.2　为迭代器设计基于IDM的测试用例 73
6.5　参考文献注解 78
[0第0]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
[0第0]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　语[0法0]逻辑覆盖准则 157
8.2.1　蕴涵项覆盖 158
8.2.2　[0极0]小DNF 159
8.2.3　MUMCUT覆盖准则 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　有限状态[1机1]的逻辑覆盖 180
8.6　参考文献注解 184
[0第0]9章　基于语[0法0]的测试 187
9.1　基于语[0法0]的覆盖准则 187
9.1.1　基于通用语[0法0]的覆盖准则 187
9.1.2　变异测试 189
9.2　基于程序的语[0法0] 192
9.2.1　编译器的BNF语[0法0] 192
9.2.2　基于程序的变异 193
9.3　集成测试和[mian]向对象测试 206
9.3.1　BNF集成测试 206
9.3.2　集成变异 206
9.4　基于规约的语[0法0] 212
9.4.1　BNF语[0法0] 212
9.4.2　基于规约的变异 212
9.5　输入空间的语[0法0] 215
9.5.1　BNF语[0法0] 215
9.5.2　变异输入语[0法0] 218
9.6　参考文献注解 222
[0第0]三部分　实践中的测试
[0第0]10章　管理测试过程 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
[0第0]11章　编写测试计划 231
11.1　分层测试计划模板 231
11.2　参考文献注解 233
[0第0]12章　测试实现 234
12.1　集成顺序 234
12.2　测试替身 235
12.2.1　桩和模拟：测试替身的变种 236
12.2.2　使用测试替身来代替组[亻牛] 237
12.3　参考文献注解 240
[0第0]13章　软[亻牛]演化中的回归测试 241
13.1　参考文献注解 243
[0第0]14章　编写有效的测试预言 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

相关推荐
Google的软件工程影印版英文版TitusWinters等谷歌软件工程书东南
设计数据密集型应用
解决方案架构师修炼之道