000 03986nam a2200445 c 4500
999 _c334819
_d334819
_x1
001 334819
003 ES-MaUEC
005 20230102114751.0
006 a||||fo|||| 00| 0
007 cr nn nnnaamaa
008 210204s2021 si | s |||| 0|eng d
020 _a9789813361799
024 7 _a10.1007/978-981-33-6179-9
_2doi
040 _aES-MaUEC
_bspa
_cES-MaUEC
_dES-MaUEC
050 4 _aQA76.9.D43
_b2021 EB
100 1 _aXie, Xiaoyuan
_eautor
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_9678781
245 1 0 _aEssential spectrum-based fault localization
_cby Xiaoyuan Xie, Baowen Xu
250 _aFirst edition 2021
264 1 _aSingapore
_bSpringer International Publising
_c2021
300 _a1 recurso en línea (XII, 172 páginas)
_b17 ilustraciones
336 _2rdacontent
_aTexto
_btxt
337 _2rdamedia
_aelectrónico
_bc
338 _2rdacarrier
_arecurso electrónico
_bcr
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 3 _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.
988 _aSpringer_Computer_2021
650 7 _2embne
_9670306
_aDepuración (Informática)
650 7 _2embne
_aSoftware
_xDesarrollo
_9322509
700 1 _aXu, Baowen
_eautor
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_9678782
710 2 _aSpringerLink
776 0 8 _iPrinted edition:
_z9789813361782
776 0 8 _iPrinted edition:
_z9789813361805
776 0 8 _iPrinted edition:
_z9789813361812
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-981-33-6179-9
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 _2lcc
_cLE
998 _b05/2021
_dz
_ea
_zSI