001433763 000__ 06327cam\a2200649\a\4500
001433763 001__ 1433763
001433763 003__ OCoLC
001433763 005__ 20230309003652.0
001433763 006__ m\\\\\o\\d\\\\\\\\
001433763 007__ cr\un\nnnunnun
001433763 008__ 210207s2021\\\\si\\\\\\ob\\\\000\0\eng\d
001433763 019__ $$a1237407858$$a1240629881
001433763 020__ $$a9789813361799$$q(electronic bk.)
001433763 020__ $$a9813361794$$q(electronic bk.)
001433763 020__ $$z9813361786
001433763 020__ $$z9789813361782
001433763 0247_ $$a10.1007/978-981-33-6179-9$$2doi
001433763 035__ $$aSP(OCoLC)1236368200
001433763 040__ $$aYDX$$beng$$epn$$cYDX$$dEBLCP$$dSFB$$dGW5XE$$dOCLCF$$dOCLCO$$dUKAHL$$dOCLCQ$$dOCLCO$$dOCLCQ
001433763 049__ $$aISEA
001433763 050_4 $$aQA76.9.D43
001433763 08204 $$a005.1/4$$223
001433763 08204 $$a005.1$$223
001433763 1001_ $$aXie, Xiaoyuan.
001433763 24510 $$aEssential spectrum-based fault localization /$$cXiaoyuan Xie, Baowen Xu.
001433763 260__ $$aSingapore :$$bSpringer,$$c2021.
001433763 300__ $$a1 online resource
001433763 336__ $$atext$$btxt$$2rdacontent
001433763 337__ $$acomputer$$bc$$2rdamedia
001433763 338__ $$aonline resource$$bcr$$2rdacarrier
001433763 504__ $$aIncludes bibliographical references.
001433763 5050_ $$aIntro -- 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
001433763 5058_ $$a3 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
001433763 5058_ $$a5.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
001433763 5058_ $$a6.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
001433763 5058_ $$a8.3.2 Approach: MSeer -- References -- 9 Conclusion -- References -- A SBR, SFR, and SAR for All Formulas -- B Theoretical Comparison Among All Formulas
001433763 506__ $$aAccess limited to authorized users.
001433763 520__ $$aProgram 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.
001433763 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed March 16, 2021).
001433763 650_0 $$aDebugging in computer science.
001433763 650_0 $$aComputer software$$xTesting.
001433763 650_0 $$aSoftware engineering.
001433763 650_0 $$aComputer programming.
001433763 650_0 $$aSoftware failures.
001433763 650_6 $$aDébogage.
001433763 650_6 $$aGénie logiciel.
001433763 650_6 $$aProgrammation (Informatique)
001433763 650_6 $$aBogues (Informatique)
001433763 655_0 $$aElectronic books.
001433763 7001_ $$aXu, Baowen.
001433763 77608 $$iPrint version:$$aXie, Xiaoyuan.$$tEssential spectrum-based fault localization.$$dSingapore : Springer, 2021$$z9813361786$$z9789813361782$$w(OCoLC)1224517898
001433763 852__ $$bebk
001433763 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-33-6179-9$$zOnline Access$$91397441.1
001433763 909CO $$ooai:library.usi.edu:1433763$$pGLOBAL_SET
001433763 980__ $$aBIB
001433763 980__ $$aEBOOK
001433763 982__ $$aEbook
001433763 983__ $$aOnline
001433763 994__ $$a92$$bISE