Handbook of Software Fault Localization (eBook, ePUB)

Foundations and Advances
Redaktion: Wong, W. Eric; Tse, T. H.

• Format: ePub

Produktbeschreibung

Handbook of Software Fault Localization A comprehensive analysis of fault localization techniques and strategies In Handbook of Software Fault Localization: Foundations and Advances, distinguished computer scientists Prof. W. Eric Wong and Prof. T.H. Tse deliver a robust treatment of up-to-date techniques, tools, and essential issues in software fault localization. The authors offer collective discussions of fault localization strategies with an emphasis on the most important features of each approach. The book also explores critical aspects of software fault localization, like multiple bugs, successful and failed test cases, coincidental correctness, faults introduced by missing code, the combination of several fault localization techniques, ties within fault localization rankings, concurrency bugs, spreadsheet fault localization, and theoretical studies on fault localization. Readers will benefit from the authors' straightforward discussions of how to apply cost-effective techniques to a variety of specific environments common in the real world. They will also enjoy the in-depth explorations of recent research directions on this topic. Handbook of Software Fault Localization also includes: * A thorough introduction to the concepts of software testing and debugging, their importance, typical challenges, and the consequences of poor efforts * Comprehensive explorations of traditional fault localization techniques, including program logging, assertions, and breakpoints * Practical discussions of slicing-based, program spectrum-based, and statistics-based techniques * In-depth examinations of machine learning-, data mining-, and model-based techniques for software fault localization Perfect for researchers, professors, and students studying and working in the field, Handbook of Software Fault Localization: Foundations and Advances is also an indispensable resource for software engineers, managers, and software project decision makers responsible for schedule and budget control.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: John Wiley & Sons
• Seitenzahl: 608
• Erscheinungstermin: 21. April 2023
• Englisch
• ISBN-13: 9781119291824
• Artikelnr.: 67857965

Autorenporträt

W. Eric Wong, PhD, is a Full Professor, Director of Software Engineering Program, and the Founding Director of Advanced Research Center for Software Testing and Quality Assurance in Computer Science at the University of Texas at Dallas. He is also a Guest Researcher with the US National Institute of Standards and Technology. Professor Wong was the award recipient of the 2014 IEEE Reliability Society Engineer of the Year. In addition, he was the Editor-in-Chief of the IEEE Transactions on Reliability from June 2016 to May 2022. He received his MS and PhD in Computer Science from Purdue University. T.H. Tse received his PhD from London School of Economics, and was a Visiting Fellow at University of Oxford. He is an Honorary Professor in Computer Science with The University of Hong Kong after retiring from full professorship. He is a Steering Committee Chair of the IEEE International Conference on Software Quality, Reliability, and Security; and an Associate Editor of IEEE Transactions on Reliability. He has over 270 publications, including a book with Cambridge University Press. He ranks internationally as no. 2 in metamorphic testing. He was awarded an MBE by Queen Elizabeth II of the United Kingdom.

Inhaltsangabe

Editor Biographies xv

List of Contributors xvii

1 Software Fault Localization: an Overview of Research, Techniques, and Tools 1
W. Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, Franz Wotawa, and Dongcheng li

1.1 Introduction 1

1.2 Traditional Fault Localization Techniques 14

1.2.1 Program Logging 14

1.2.2 Assertions 14

1.2.3 Breakpoints 14

1.2.4 Profiling 15

1.3 Advanced Fault Localization Techniques 15

1.3.1 Slicing-Based Techniques 15

1.3.2 Program Spectrum-Based Techniques 20

1.3.2.1 Notation 20

1.3.2.2 Techniques 21

1.3.2.3 Issues and Concerns 27

1.3.3 Statistics-Based Techniques 30

1.3.4 Program State-Based Techniques 32

1.3.5 Machine Learning-Based Techniques 34

1.3.6 Data Mining-Based Techniques 36

1.3.7 Model-Based Techniques 37

1.3.8 Additional Techniques 41

1.3.9 Distribution of Papers in Our Repository 45

1.4 Subject Programs 47

1.5 Evaluation Metrics 50

1.6 Software Fault Localization Tools 53

1.7 Critical Aspects 58

1.7.1 Fault Localization with Multiple Bugs 58

1.7.2 Inputs, Outputs, and Impact of Test Cases 60

1.7.3 Coincidental Correctness 63

1.7.4 Faults Introduced by Missing Code 64

1.7.5 Combination of Multiple Fault Localization Techniques 65

1.7.6 Ties Within Fault Localization Rankings 67

1.7.7 Fault Localization for Concurrency Bugs 67

1.7.8 Spreadsheet Fault Localization 68

1.7.9 Theoretical Studies 70

1.8 Conclusion 71

Notes 73

References 73

2 Traditional Techniques for Software Fault Localization 119
Yihao Li, Linghuan Hu, W. Eric Wong, Vidroha Debroy, and Dongcheng li

2.1 Program Logging 119

2.2 Assertions 121

2.3 Breakpoints 124

2.4 Profiling 125

2.5 Discussion 128

2.6 Conclusion 130

References 131

3 Slicing-Based Techniques for Software Fault Localization 135
W. Eric Wong, Hira Agrawal, and Xiangyu Zhang

3.1 Introduction 135

3.2 Static Slicing-Based Fault Localization 136

3.2.1 Introduction 136

3.2.2 Program Slicing Combined with Equivalence Analysis 137

3.2.3 Further Application 138

3.3 Dynamic Slicing-Based Fault Localization 138

3.3.1 Dynamic Slicing and Backtracking Techniques 144

3.3.2 Dynamic Slicing and Model-Based Techniques 145

3.3.3 Critical Slicing 148

3.3.3.1 Relationships Between Critical Slices (CS) and Exact Dynamic Program Slices (DPS) 149

3.3.3.2 Relationship Between Critical Slices and Executed Static Program Slices 150

3.3.3.3 Construction Cost 150

3.3.4 Multiple-Points Dynamic Slicing 151

3.3.4.1 BwS of an Erroneous Computed Value 152

3.3.4.2 FwS of Failure-Inducing Input Difference 152

3.3.4.3 BiS of a Critical Predicate 154

3.3.4.4 MPSs: Dynamic Chops 157

3.3.5 Execution Indexing 158

3.3.5.1 Concepts 159

3.3.5.2 Structural Indexing 161

3.3.6 Dual Slicing to Locate Concurrency Bugs 165

3.3.6.1 Trace Comparison 165

3.3.6.2 Dual Slicing 168

3.3.7 Comparative Causality: a Causal Inference Model Based on Dual Slicing 173

3.3.7.1 Property One: Relevance 174

3.3.7.2 Property Two: Sufficiency 175

3.3.8 Implicit Dependences to Locate Execution Omission Errors 177

3.3.9 Other Dynamic Slicing-Based Techniques 179

3.4 Executi