Software Testing - Concepts and Operations

Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test management
 
This book examines the principles, concepts, and processes that are fundamental to the software testing function. This book is divided into five broad parts. Part I introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. Part II covers mathematical foundations of software testing, which include software specification, program correctness and verification, concepts of software dependability, and a software testing taxonomy. Part III discusses test data generation, specifically, functional criteria and structural criteria. Test oracle design, test driver design, and test outcome analysis is covered in Part IV. Finally, Part V surveys managerial aspects of software testing, including software metrics, software testing tools, and software product line testing.
 
* Presents software testing, not as an isolated technique, but as part of an integrated discipline of software verification and validation
* Proposes program testing and program correctness verification within the same mathematical model, making it possible to deploy the two techniques in concert, by virtue of the law of diminishing returns
* Defines the concept of a software fault, and the related concept of relative correctness, and shows how relative correctness can be used to characterize monotonic fault removal
* Presents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goal
* Covers all phases of the software testing lifecycle, including test data generation, test oracle design, test driver design, and test outcome analysis
Software Testing: Concepts and Operations is a great resource for software quality and software engineering students because it presents them with fundamentals that help them to prepare for their ever evolving discipline.

Sommario

PREFACE XIV
 
ACKNOWLEDGMENTS XVIII
 
PART I INTRODUCTION TO SOFTWARE TESTING 1
 
1 Software Engineering: A Discipline Like No Other 3
 
1.1 A Young, Restless Discipline 3
 
1.2 An Industry Under Stress 5
 
1.3 Large, Complex Products 5
 
1.4 Expensive Products 7
 
1.5 Absence of Reuse Practice 9
 
1.6 Fault-Prone Designs 9
 
1.7 Paradoxical Economics 10
 
1.7.1 A Labor-Intensive Industry 10
 
1.7.2 Absence of Automation 11
 
1.7.3 Limited Quality Control 11
 
1.7.4 Unbalanced Lifecycle Costs 12
 
1.7.5 Unbalanced Maintenance Costs 12
 
1.8 Chapter Summary 13
 
1.9 Bibliographic Notes 13
 
2 Software Quality Attributes 14
 
2.1 Functional Attributes 15
 
2.1.1 Boolean Attributes 15
 
2.1.2 Statistical Attributes 15
 
2.2 Operational Attributes 17
 
2.3 Usability Attributes 18
 
2.4 Business Attributes 19
 
2.5 Structural Attributes 20
 
2.6 Chapter Summary 21
 
2.7 Exercises 21
 
2.8 Bibliographic Notes 22
 
3 A Software Testing Lifecycle 23
 
3.1 A Software Engineering Lifecycle 23
 
3.2 A Software Testing Lifecycle 28
 
3.3 The V-Model of Software Testing 31
 
3.4 Chapter Summary 34
 
3.5 Bibliographic Notes 34
 
PART II FOUNDATIONS OF SOFTWARE TESTING 35
 
4 Software Specifications 37
 
4.1 Principles of Sound Specification 38
 
4.1.1 A Discipline of Specification 38
 
4.2 Relational Mathematics 39
 
4.2.1 Sets and Relations 39
 
4.2.2 Operations on Relations 39
 
4.2.3 Properties of Relations 41
 
4.3 Simple Input Output Programs 42
 
4.4 Representing Specifications 42
 
4.5 Ordering Specifications 46
 
4.6 Specification Generation 48
 
4.7 Specification Validation 53
 
4.7.1 Specification Generation Phase 56
 
4.7.2 Specification Validation Phase 57
 
4.8 Reliability Versus Safety 60
 
4.9 State-based Systems 61
 
4.9.1 A Relational Model 62
 
4.10 Axiomatic Representation 64
 
4.10.1 Specification of a Stack 65
 
4.10.2 Specification of a Queue 66
 
4.10.3 Specification of a Set 68
 
4.11 Specification Validation 69
 
4.12 Chapter Summary 71
 
4.13 Exercises 72
 
4.14 Problems 76
 
4.15 Bibliographic Notes 77
 
5 Program Correctness and Verification 79
 
5.1 Correctness: A Definition 80
 
5.2 Correctness: Propositions 83
 
5.2.1 Correctness and Refinement 83
 
5.2.2 Set Theoretic Characterizations 85
 
5.2.3 Illustrations 86
 
5.3 Verification 88
 
5.3.1 Sample Formulas 89
 
5.3.2 An Inference System 91
 
5.3.3 Illustrative Examples 94
 
5.4 Chapter Summary 98
 
5.5 Exercises 99
 
5.6 Problems 100
 
5.7 Bibliographic Notes 100
 
6 Failures, Errors, and Faults 101
 
6.1 Failure, Error, and Fault 101
 
6.2 Faults and Relative Correctness 103
 
6.2.1 Fault, an Evasive Concept 103
 
6.2.2 Relative Correctness 104
 
6.3 Contingent Faults and Definite Faults 107
 
6.3.1 Contingent Faults 107
 
6.3.2 Monotonic Fault Removal 109
 
6.3.3 A Framework for Monotonic Fault Removal 114
 
6.3.4 Definite Faults 114
 
6.4 Fault Management 116
 
6.4.1 Lines of Defense 116
 
6.4.2 Hybrid Validation 118
 
6.5 Chapter Summary 121
 
6.6 Exercises 122
 
6.7 Prob

Info autore

ALI MILI is Professor at New Jersey Institute of Technology, USA. His research is focused on software engineering, including technical and organizational aspects, and on software engineering education. FAIROUZ TCHIER is Associate Professor at King Saud University, Saudi Arabia. Her main areas of research are discrete mathematics, theoretical computer science, software engineering, and fuzzy theory.

Riassunto

Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test management. This book introduces software testing in the broader context of software engineering and more.

Dettagli sul prodotto

• Autori: Al Mili, Ali Mili, Ali Tchier Mili, Mili Ali, Fairouz Tchier, Tchier Fairouz
• Editore: Wiley, John and Sons Ltd
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 17.07.2015
• EAN: 9781118662878
• ISBN: 978-1-118-66287-8
• Pagine: 368
• Dimensioni: 162 mm x 243 mm x 26 mm
• Serie: Quantitative Software Engineering Series; Quantitative Software Engineering Series; Quantitative Software Engineer
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; Informatik, Softwaretest, Software Engineering, computer science, Software-Engineering, Software Management, Software-Management, Softwaremetriken u. -tests, Software Measurement & Testing