软件测试：原理与实践（英文版）（第2版） / 经典原版书库
￥69.00定价
作者： [爱尔兰]斯蒂芬·布朗、乔·蒂莫尼等
出版时间：2019年4月
出版社：机械工业出版社
- 机械工业出版社
- 9787111624066
- 2版
- 262550
- 47229564-1
- 16开
- 2019年4月
- 411
- 316
- 工学
- 计算机科学与技术
- 计算机通信类
- 本科
内容简介
目录
Prefaceii1 Introduction11.1 The Software Industry11.1.1 Software Testing and Quality21.1.2 Software Testing and Risk Management31.2 Mistakes, Faults and Failures31.2.1 Software Faults41.2.2 Software Failures51.2.3 Need for Testing61.3 The Role of Specifications81.4 Overview of Testing91.4.1 Testing in the Development Process91.4.2 Test Automation91.5 The Theory of Testing101.5.1 Exhaustive Testing Example111.5.2 Implications111.5.3 When To Finish Testing121.6 Book Structure131.6.1 Order of Testing141.6.2 Programming Language141.6.3 Level of Detail141.6.4 Code Examples141.7 Notes on Terminology142 Principles of Software Testing152.1 Static Verification152.1.1 Walk-throughs162.1.2 Code Reviews/Inspections162.1.3 Formal Methods and Testing182.2 Dynamic Verification192.3 Black-Box and White-Box Testing192.3.1 Errors of “Omission” and “Commission” 212.4 Test Approaches222.4.1 Black-Box Testing222.4.2 White-Box Testing232.4.3 Fault Insertion242.5 Test Design Process242.5.1Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252.5.2Generating Test Cases . . . . . . . . . . . . . . . . . . . . . . . . . 252.5.3Generating Test Data . . . . . . . . . . . . . . . . . . . . . . . . . 262.5.4Implementing Tests . . . . . . . . . . . . . . . . . . . . . . . . . . 262.6 Analysis of Software Specifications . . . . . . . . . . . . . . . . . . . . . . 272.6.1Parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272.6.2Parameter Ranges . . . . . . . . . . . . . . . . . . . . . . . . . . . 272.6.3Equivalence Partitions . . . . . . . . . . . . . . . . . . . . . . . . . 282.6.4Boundary Values . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292.6.5Combinations of Values . . . . . . . . . . . . . . . . . . . . . . . . 302.6.6Sequences of Values . . . . . . . . . . . . . . . . . . . . . . . . . . 382.7 Analysis of Software Components . . . . . . . . . . . . . . . . . . . . . . 402.7.1Control Flow Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . 402.7.2Decisions and Conditions . . . . . . . . . . . . . . . . . . . . . . . 432.7.3Paths . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 442.7.4Data Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 472.8 Analysis of Targets for Fault Insertion . . . . . . . . . . . . . . . . . . . . 472.8.1Offutt’s 5 Sufficient Mutations . . . . . . . . . . . . . . . . . . . . 472.9 TestArtefacts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 483 Unit Testing503.1 Techniques503.2 Usage513.3 Black-Box Techniques523.3.1 Equivalence Partitioning (EP)523.3.2 Boundary Value Analysis (BVA)533.3.3 Testing Combinations of Inputs553.3.4 Testing Sequences of Inputs/State-Based Testing563.3.5 Testing with Random Data . . . . . . . . . . . . . . . . . . . . . . 563.3.6 Error Guessing/Expert Opinion . . . . . . . . . . . . . . . . . . . . 583.4White-Box Techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 593.4.1Statement Coverage (SC) . . . . . . . . . . . . . . . . . . . . . . . 603.4.2 Branch Coverage (BC) . . . . . . . . . . . . . . . . . . . . . . . . . 613.4.3 Condition Coverage (CC) . . . . . . . . . . . . . . . . . . . . . . 623.4.4 Decision Condition Coverage (DCC) . . . . . . . . . . . . . . . . . 643.4.5 Multiple Condition Coverage (MCC) . . . . . . . . . . . . . . . . .653.4.6 Modified Condition Decision Coverage (MCDC) . . . . . . . . . .663.4.7 Path Coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 673.4.8 Dataflow Coverage (DU Pairs) . . . . . . . . . . . . . . . . . . . . 683.5 Fault Insertion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 693.5.1 Strong Mutation Testing . . . . . . . . . . . . . . . . . . . . . . . . 693.6Test Ranking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 704 Unit Testing Examples 714.1Example One: fits() . .
