手机版 | 网站地图 | 设为首页
网站颜色：
首页
设计资讯
优势展厅
设计需求
设计交易
设计公司联盟
促销套餐
人才招聘
团购设计
点评
装饰装修

软件测试基础（原书第2版） Paul Ammann; Jeff Offutt 计算机科学丛书 9787111611295机械工业出版社

  • 产品名称:软件测试基础(原书第2版)
  • 书名:软件测试基础(原书第2版)
  • 作者:无
  • 定价:79.00元
  • 书名:软件测试基础(原书第2版)
  • 开本:16开
  • 是否是套装:否
  • 出版社名称:机械工业出版社
  商品基本信息
商品名称：   软件测试基础（原书第2版）
作者：  保罗.阿曼
市场价：   79.00
ISBN号：   9787111611295
版次：   1-1
出版日期：   2018-10
页数：   281
字数：   234
出版社：   机械工业出版社
  目录
出版者的话
译者序
前言
第一部分　软件测试基础
第1章　为什么测试软件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.6　MDTD为什么重要25
2.7　参考文献注解25
第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　从命令行运行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.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　有限状态机的逻辑覆盖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.1　BNF集成测试206
9.3.2　集成变异206
9.4　基于规约的语法212
9.4.1　BNF语法212
9.4.2　基于规约的变异212
9.5　输入空间的语法215
9.5.1　BNF语法215
9.5.2　变异输入语法218
9.6　参考文献注解222
第三部分　实践中的测试
第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
(咨询特价)　实现测试过程230
(咨询特价)　参考文献注解230
第11章　编写测试计划231
11.1　分层测试计划模板231
11.2　参考文献注解233
第12章　测试实现234
12.1　集成顺序234
12.2　测试替身235
12.2.1　桩和模拟：测试替身的变种236
12.2.2　使用测试替身来代替组件237
12.3　参考文献注解240
第13章　软件演化中的回归测试241
13.1　参考文献注解243
第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

   内容简介
    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.
    
机械工业出版社旗舰店热门设计联盟服务商