图书介绍
软件测试基础 英文PDF|Epub|txt|kindle电子书版本网盘下载
- （美）PaulAmmann，JeffOffutt编著 著
- 出版社： 北京：机械工业出版社
- ISBN：9787111282464
- 出版时间：2009
- 标注页数：322页
- 文件大小：26MB
- 文件页数：339页
- 主题词：软件－测试－英文
PDF下载
下载说明
软件测试基础 英文PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
Part 1 Overview1
1 Introduction3
1.1 Activities of a Test Engineer4
1.1.1 Testing Levels Based on Software Activity5
1.1.2 Beizer's Testing Levels Based on Test Process Maturity8
1.1.3 Automation of Test Activities10
1.2 Software Testing Limitations and Terminology11
1.3 Coverage Criteria for Testing16
1.3.1 Infeasibility and Subsumption20
1.3.2 Characteristics of a Good Coverage Criterion20
1.4 Older Software Testing Terminology21
1.5 Bibliographic Notes22
Part 2 Coverage Criteria25
2 Graph Coverage27
2.1 Overview27
2.2 Graph Coverage Criteria32
2.2.1 Structural Coverage Criteria33
2.2.2 Data Flow Criteria44
2.2.3 Subsumption Relationships among Graph Coverage Criteria50
2.3 Graph Coverage for Source Code52
2.3.1 Structural Graph Coverage for Source Code52
2.3.2 Data Flow Graph Coverage for Source Code54
2.4 Graph Coverage for Design Elements65
2.4.1 Structural Graph Coverage for Design Elements65
2.4.2 Data Flow Graph Coverage for Design Elements67
2.5 Graph Coverage for Specifications75
2.5.1 Testing Sequencing Constraints75
2.5.2 Testing State Behavior of Software77
2.6 Graph Coverage for Use Cases87
2.6.1 Use Case Scenarios90
2.7 Representing Graphs Algebraically91
2.7.1 Reducing Graphs to Path Expressions94
2.7.2 Applications of Path Expressions96
2.7.3 Deriving Test Inputs96
2.7.4 Counting Paths in a Flow Graph and Determining Max Path Length97
2.7.5 Minimum Number of Paths to Reach All Edges98
2.7.6 Complementary Operations Analysis98
2.8 Bibliographic Notes100
3 Logic Coverage104
3.1 Overview:Logic Predicates and Clauses104
3.2 Logic Expression Coverage Criteria106
3.2.1 Active Clause Coverage107
3.2.2 Inactive Clause Coverage111
3.2.3 Infeasibility and Subsumption112
3.2.4 Making a Clause Determine a Predicate113
3.2.5 Finding Satisfying Values115
3.3 Structural Logic Coverage of Programs120
3.3.1 Predicate Transformation Issues127
3.4 Specification-Based Logic Coverage131
3.5 Logic Coverage of Finite State Machines134
3.6 Disjunctive Normal Form Criteria138
3.7 Bibliographic Notes147
4 Input Space Partitioning150
4.1 Input Domain Modeling152
4.1.1 Interface-Based Input Domain Modeling153
4.1.2 Functionality-Based Input Domain Modeling154
4.1.3 Identifying Characteristies154
4.1.4 Choosing Blocks and Values156
4.1.5 Using More than One Input Domain Model158
4.1.6 Checking the Input Domain Model158
4.2 Combination Strategies Criteria160
4.3 Constraints among Partitions165
4.4 Bibliographic Notes166
5 Syntax-Based Testing170
5.1 Syntax-Based Coverage Criteria170
5.1.1 BNF Coverage Criteria170
5.1.2 Mutation Testing173
5.2 Program-Based Grammars176
5.2.1 BNF Grammars for Languages176
5.2.2 Program-Based Mutation176
5.3 Integration and Object-Oriented Testing191
5.3.1 BNF Integration Testing192
5.3.2 Integration Mutation192
5.4 Specification-Based Grammars197
5.4.1 BNF Grammars198
5.4.2 Specification-Based Mutation198
5.5 Input Space Grammars201
5.5.1 BNF Grammars201
5.5.2 Mutation for Input Grammars204
5.6 Bibliographic Notes210
Part 3 Applying Criteria in Practlce213
6 Practlcal Considerations215
6.1 Regression Testing215
6.2 Integration and Testing217
6.2.1 Stubs and Drivers218
6.2.2 Class Integration Test Order218
6.3 Test Process219
6.3.1 Requirements Analysis and Specification220
6.3.2 System and Software Design221
6.3.3 Intermediate Design222
6.3.4 Detailed Design223
6.3.5 Implementation223
6.3.6 Integration224
6.3.7 System Deployment224
6.3.8 Operation and Maintenance224
6.3.9 Summary225
6.4 Test Plans225
6.5 Identifying Correct Outputs230
6.5.1 Direct Verification of Outputs230
6.5.2 Redundant Computations231
6.5.3 Consistency Checks231
6.5.4 Data Redundancy232
6.6 Bibliographic Notes233
7 Engineering Criteria for Technologies235
7.1 Testing Object-Oriented Software236
7.1.1 Unique Issues with Testing OO Software237
7.1.2 Types of Obiect-Oriented Faults237
7.2 Testing Web Applications and Web Services256
7.2.1 Testing Static Hyper Text Web Sites257
7.2.2 Testing Dynamic Web Applications257
7.2.3 Testing Web Services260
7.3 Testing Graphical User Interfaces260
7.3.1 Testing GUIs261
7.4 Real-Time Software and Embedded Software262
7.5 Bibliographic Notes265
8 Building Testing Tools268
8.1 Instrumentation for Graph and Logical Expression Criteria268
8.1.1 Node and Edge Coverage268
8.1.2 Data Flow Coverage271
8.1.3 Logic Coverage272
8.2 Building Mutation Testing Tools272
8.2.1 The Interpretation Approach274
8.2.2 The Separate Compilation Approach274
8.2.3 The Schema-Based Approach275
8.2.4 Using Java Reflection276
8.2.5 Implementing a Modern Mutation System277
8.3 Bibliographic Notes277
9 Challenges in Testing Software280
9.1 Testing for Emergent Properties:Safety and Security280
9.1.1 Classes of Test Cases for Emergent Properties283
9.2 Software Testability284
9.2.1 Testability for Common Technologies285
9.3 Test Criteria and the Future of Software Testing286
9.3.1 Going Forward with Testing Research288
9.4 Bibliographic Notes290
List of Criteria293
Bibliography295
Index319