软件测试基础

图书标准信息

• 作者 阿曼（Paul Ammann）、奥法特（Jeff Offutt） 著；郁莲 译
• 出版社 机械工业出版社
• 出版时间 2010-10
• 版次 1
• ISBN 9787111293989
• 定价 36.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 250页
• 正文语种 简体中文
• 原版书名 Introduction to Software Testing
• 丛书 计算机科学丛书

【内容简介】

《软件测试基础》经过了大量的课堂检验，是深受学生和行业专业人员欢迎的软件工程指南。《软件测试基础》所展示的软件测试程概念和技术广泛地覆盖了各种语言及其平台。与其他软件工程书籍相比，《软件测试基础》内容更加全面，并具有很大的实践价值。
《软件测试基础》适合作为国内高等院校计算机及相关专业本科生的软件工程课程教材，也可供软件工程领域的技术人员参考。

【作者简介】

PaulAmmann在美国维吉尼亚大学获得计算机科学博士学位，现为乔治·梅森大学软件工程副教授。他于2007年获得Volgenau信息技术与工程学院的杰出教学奖。
JeffOffutt在乔治亚理工学院获得计算机博士学位，现为乔治·梅森大学软件工程教授。他是《JournalofSoftwareTesting，VerificationandReliability》的主编，是IEEE软件测试、验证和确认国际会议指导委员会主席，还是许多期刊的编委。他于2003年获得乔治·梅森大学Volgenau信息技术与工程学院的优秀教师奖。

【目录】

译者序
前言
第一部分概览
第1章概述1
1.1测试工程师的工作2
1.1.1基于软件活动的测试级别3
1.1.2基于测试过程成熟度的beizer的测试级别5
1.1.3测试活动的自动化6
1.2软件测试的局限性和术语7
1.3测试覆盖标准12
1.3.1不可行性与包含14
1.3.2好的覆盖标准的特征15
1.4以往的软件测试术语16
1.5参考文献注释17
第二部分覆盖标准
第2章图覆盖19
2.1概述19
2.2图覆盖标准23
2.2.1结构化覆盖标准24
2.2.2数据流标准33
2.2.3图覆盖标准中的包含关系38
2.3源代码的图覆盖40
2.3.1源代码的结构化图覆盖40
2.3.2源代码的数据流图覆盖41
2.4设计元素的图覆盖50
2.4.1设计元素的结构化图覆盖50
2.4.2设计元素的数据流覆盖51
2.5规格说明的图覆盖57
2.5.1顺序约束测试57
2.5.2软件状态行为测试60
2.6用例的图覆盖68
2.7用代数方法表示图71
2.7.1把图简化成路径表达式73
2.7.2路径表达式的应用75
2.7.3得到测试输入75
2.7.4在流图中计算路径数并确定最大路径长度76
2.7.5到达所有边的路径的最小值77
2.7.6互补运算分析77
2.8参考文献注释79
第3章逻辑覆盖82
3.1概览：逻辑谓词和子句82
3.2逻辑表达式覆盖标准83
3.2.1有效的子句覆盖84
3.2.2无效子句覆盖87
3.2.3不可行性和包含88
3.2.4使子句决定谓词89
3.2.5寻找满足的取值91
3.3程序的结构化逻辑覆盖94
3.4基于规约的逻辑覆盖104
3.5有限状态机的逻辑覆盖106
3.6析取范式标准109
3.7参考文献注释116
第4章输入空间划分119
4.1输入域建模120
4.1.1基于接口的输入域建模121
4.1.2基于功能的输入域建模122
4.1.3识别特性122
4.1.4选择块和值123
4.1.5使用一种以上的输入域模型125
4.1.6检查输入域模型125
4.2组合策略标准126
4.3划分中的约束130
4.4参考文献注释131
第5章基于句法的测试134
5.1基于句法的覆盖标准134
5.1.1bnf覆盖标准134
5.1.2变异测试136
5.2基于程序的语法139
5.2.1编程语言的bnf语法139
5.2.2基于程序的变异139
5.3集成与面向对象测试151
5.3.1bnf集成测试151
5.3.2集成变异151
5.4基于规范的语法155
5.4.1bnf语法156
5.4.2基于规范的变异156
5.5输入空间语法158
5.5.1bnf语法158
5.5.2输入语法的变异161
5.6参考文献注释166
第三部分在实践中运用的标准
第6章实际的考虑169
6.1回归测试169
6.2集成和测试170
6.2.1桩和驱动程序171
6.2.2类的集成测试顺序171
6.3测试过程172
6.3.1需求分析和规格说明书173
6.3.2系统和软件设计174
6.3.3中级设计174
6.3.4详细设计175
6.3.5实现175
6.3.6集成175
6.3.7系统部署176
6.3.8操作和维护176
6.3.9总结176
6.4测试计划177
6.5识别正确的输出181
6.5.1输出的直接验证181
6.5.2冗余计算182
6.5.3一致性检查182
6.5.4数据冗余183
6.6参考文献注释184
第7章技术的工程标准185
7.1测试面向对象软件185
7.1.1面向对象软件测试特有的问题186
7.1.2面向对象的错误类型186
7.2测试web应用和web服务201
7.2.1测试静态超文本web站点202
7.2.2测试动态web应用202
7.2.3测试web服务204
7.3测试图形用户界面205
7.4实时软件和嵌入式软件206
7.5参考文献注释209
第8章创建测试工具211
8.1图和逻辑表达式标准的插桩211
8.1.1节点覆盖和边覆盖211
8.1.2数据流覆盖213
8.1.3逻辑覆盖213
8.2构造变异测试工具215
8.2.1解释方法215
8.2.2分离编译的方法216
8.2.3基于模式的方法216
8.2.4使用java反射机制217
8.2.5实现一个现代的变异系统217
8.3参考文献注释217
第9章软件测试中的挑战220
9.1测试紧急性属性：安全性和保密性220
9.2软件的可测试性222
9.3测试标准和软件测试的未来225
9.4参考文献注释227
参考文献229