國立虎尾科技大學 |

Essential Spectrum-based Fault Localization

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Essential Spectrum-based Fault Localization/ by Xiaoyuan Xie, Baowen Xu.
作者:	Xie, Xiaoyuan.
其他作者:	Xu, Baowen.
面頁冊數:	XII, 172 p. 17 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Programming Techniques. -
電子資源:	https://doi.org/10.1007/978-981-33-6179-9
ISBN:	9789813361799

Essential Spectrum-based Fault Localization
Xie, Xiaoyuan.

Essential Spectrum-based Fault Localization[electronic resource] /by Xiaoyuan Xie, Baowen Xu. - 1st ed. 2021. - XII, 172 p. 17 illus.online resource.

Chapter 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.

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.

ISBN: 9789813361799

Standard No.: 10.1007/978-981-33-6179-9doiSubjects--Topical Terms:

669781
Programming Techniques.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Essential Spectrum-based Fault Localization
LDR:03558nam a22003975i 4500 001 1052848
003 DE-He213
005 20210624084514.0
007 cr nn 008mamaa
008 220103s2021 si | s |||| 0|eng d
020 $a 9789813361799 $9 978-981-33-6179-9
024 7 $a 10.1007/978-981-33-6179-9 $2 doi
035 $a 978-981-33-6179-9
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
100 1 $a Xie, Xiaoyuan. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1357630
245 1 0 $a Essential Spectrum-based Fault Localization $h [electronic resource] / $c by Xiaoyuan Xie, Baowen Xu.
250 $a 1st ed. 2021.
264 1 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2021.
300 $a XII, 172 p. 17 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a Chapter 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 $a 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.
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Software Management. $3 1069200
650 1 4 $a Software Engineering. $3 669632
650 0 $a Computer programming. $3 527822
650 0 $a Management information systems. $3 561123
650 0 $a Software engineering. $3 562952
700 1 $a Xu, Baowen. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1357631
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9789813361782
776 0 8 $i Printed edition: $z 9789813361805
776 0 8 $i Printed edition: $z 9789813361812
856 4 0 $u https://doi.org/10.1007/978-981-33-6179-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)