000 04085nam a22005295i 4500
001 978-981-33-6179-9
003 DE-He213
005 20240423125358.0
007 cr nn 008mamaa
008 210204s2021 si | s |||| 0|eng d
020 _a9789813361799
_9978-981-33-6179-9
024 7 _a10.1007/978-981-33-6179-9
_2doi
050 4 _aQA76.76.T48
072 7 _aUMZT
_2bicssc
072 7 _aCOM051330
_2bisacsh
072 7 _aUMZT
_2thema
082 0 4 _a005.14
_223
100 1 _aXie, Xiaoyuan.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aEssential Spectrum-based Fault Localization
_h[electronic resource] /
_cby Xiaoyuan Xie, Baowen Xu.
250 _a1st ed. 2021.
264 1 _aSingapore :
_bSpringer Nature Singapore :
_bImprint: Springer,
_c2021.
300 _aXII, 172 p. 17 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aChapter 1. Introduction -- Chapter 2. A Theoretical Framework for Spectrum-based Fault Localization -- Chapter 3. Theoretical Comparison Among Risk Evaluation Formulas -- Chapter 4. On the Maximality of Spectrum-based Fault Localization -- Chapter 5. A Generalized Theoretical Framework for Hybrid Spectrum-based Fault Localization -- Chapter 6. Practicality of the Theoretical Frameworks -- Chapter 7. Tackling the Oracle Problem in Spectrum-based Fault Localization -- Chapter 8. Spectrum-based Fault Localization for Multiple Faults -- Chapter 9. Conclusion.
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.
650 0 _aComputer programs
_xTesting.
650 0 _aSoftware engineering
_xManagement.
650 0 _aComputer programming.
650 1 4 _aSoftware Testing.
650 2 4 _aSoftware Management.
650 2 4 _aProgramming Techniques.
700 1 _aXu, Baowen.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9789813361782
776 0 8 _iPrinted edition:
_z9789813361805
776 0 8 _iPrinted edition:
_z9789813361812
856 4 0 _uhttps://doi.org/10.1007/978-981-33-6179-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
942 _cSPRINGER
999 _c177295
_d177295