Essential spectrum-based fault localization / Xiaoyuan Xie, Baowen Xu.
Xie, Xiaoyuan.; Xu, Baowen.
2021
QA76.9.D43
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Essential spectrum-based fault localization / Xiaoyuan Xie, Baowen Xu.
Author Xie, Xiaoyuan.
ISBN 9789813361799 (electronic bk.)
9813361794 (electronic bk.)
9813361786
9789813361782
DOI https://doi.org/10.1007/978-981-33-6179-9
Imprint Singapore : Springer, 2021.
Language English
Description 1 online resource
Other Standard Identifiers 10.1007/978-981-33-6179-9 doi
Call Number QA76.9.D43
Dewey Decimal Classification 005.1/4
005.1
Summary Program debugging has always been a difficult and time-consuming task in the context of software development, where spectrum-based fault localization (SBFL) is one of the most widely studied families of techniques. While it's not particularly difficult to learn about the process and empirical performance of a particular SBFL technique from the available literature, researchers and practitioners aren't always familiar with the underlying theories. This book provides the first comprehensive guide to fundamental theories in SBFL, while also addressing some emerging challenges in this area. The theoretical framework introduced here reveals the intrinsic relations between various risk evaluation formulas, making it possible to construct a formula performance hierarchy. Further extensions of the framework provide a sufficient and necessary condition for a general maximal formula, as well as performance comparisons for hybrid SBFL methods. With regard to emerging challenges in SBFL, the book mainly covers the frequently encountered oracle problem in SBFL and introduces a metamorphic slice-based solution. In addition, it discusses the challenge of multiple-fault localization and presents cutting-edge approaches to overcoming it. SBFL is a widely studied research area with a massive amount of publications. Thus, it is essential that the software engineering community, especially those involved in program debugging, software maintenance and software quality assurance (including both newcomers and researchers who want to gain deeper insights) understand the most fundamental theories - which could also be very helpful to ensuring the healthy development of the field.
Bibliography, etc. Note Includes bibliographical references.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed March 16, 2021).
Added Author Xu, Baowen.
Available in Other Form Essential spectrum-based fault localization.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Intro
Foreword
Preface
Acknowledgments
Contents
1 Introduction
1.1 Assurance of Software Quality
1.2 Automatic Fault Localization
1.3 Basis in Spectrum-Based Fault Localization
1.4 Some Research Directions in SBFL
1.4.1 Risk Evaluation Formulas
1.4.2 Parallel Debugging
1.4.3 Combining Deep Learning with SBFL
1.5 Structure of This Book
References
2 A Theoretical Framework for Spectrum-Based Fault Localization
2.1 Comparison Among Risk Formulas
2.2 A Set-Based Framework
2.3 Set Division for Risk Evaluation Formulas
References

3 Theoretical Comparison Among Risk Evaluation Formulas
3.1 Preliminary
3.2 The Performance Hierarchy
3.2.1 Equivalent Cases
3.2.2 Non-equivalent Cases
References
4 On the Maximality of Spectrum-Based Fault Localization
4.1 Definitions
4.2 Theoretical Maximality in R
4.2.1 Preliminary Propositions
4.2.2 A Necessary and Sufficient Condition for Maximal Formula
4.2.3 Non-existence of the Greatest Formula
Reference
5 A Generalized Theoretical Framework for Hybrid Spectrum-Based Fault Localization
5.1 A Hybrid Spectrum-Based Fault Localization: Sendys

5.2 Addressing the NOR Problem in Sendys
5.2.1 Issue About Negative Values
5.2.2 Issue About Zero Values
5.2.3 Addressing the NOR Problem in the Original Sendys
5.3 Theoretical Analysis in Single-Fault Scenario
5.3.1 Preliminary: Generalized Set Theory-Based Framework
5.3.2 Properties of M1 in the Single-Fault Scenario
5.3.3 Enhanced M1 in the Single-Fault Scenario
5.3.4 Comparison Among the Mi Algorithms with Execution Slice
5.3.5 Comparison Among the Mi Algorithms with Dynamic Slice
References
6 Practicality of the Theoretical Frameworks

6.1 100% Coverage and Omission Fault
6.2 Tie-Breaking Scheme
6.3 Single-Fault Scenario
References
7 Tackling the Oracle Problem in Spectrum-Based Fault Localization
7.1 The Oracle Problem in SBFL
7.2 A Solution to General Oracle Problem: Metamorphic Testing
7.3 Metamorphic Slice: A Property-Based Program Slice
7.4 SBFL with e_mslice
7.5 Illustrative Examples
References
8 Spectrum-Based Fault Localization for Multiple Faults
8.1 Challenge in SBFL: Dealing with Multiple Faults
8.2 Sequential Debugging
8.3 Parallel Debugging
8.3.1 Approach: P2

8.3.2 Approach: MSeer
References
9 Conclusion
References
A SBR, SFR, and SAR for All Formulas
B Theoretical Comparison Among All Formulas

Browse Subjects

Show more subjects...

Statistics

from
to
Export