经典原版书库软件测试:原理与实践(英文版第2版)/(爱尔兰)斯蒂芬.布朗

本书特色

[

本书的内容基于爱尔兰国立大学梅努斯和浙江大学的一系列课程讲稿。该书覆盖了软件测试的基本原理和主要方法，可以作为软件测试全英课程或双语课程的教材。

]

内容简介

[

本书的内容基于爱尔兰国立大学梅努斯和浙江大学的一系列课程讲稿。该书覆盖了软件测试的基本原理和主要方法，可以作为软件测试全英课程或双语课程的教材。

]

目录

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() . .

封面

书名:经典原版书库软件测试:原理与实践(英文版第2版)/(爱尔兰)斯蒂芬.布朗

作者:[爱尔兰]斯蒂芬·布朗Stephen B

页数:301

定价:¥69.0

出版社:机械工业出版社

出版日期:2019-04-01

ISBN:9787111624066

PDF电子书大小:101MB 高清扫描完整版