Essential Spectrum-based Fault Localization
暫譯: 基本頻譜導向故障定位
Xiaoyuan Xie , Baowen Xu
- 出版商: Springer
- 出版日期: 2022-02-05
- 售價: $4,600
- 貴賓價: 9.5 折 $4,370
- 語言: 英文
- 頁數: 186
- 裝訂: Quality Paper - also called trade paper
- ISBN: 9813361816
- ISBN-13: 9789813361812
海外代購書籍(需單獨結帳)
商品描述
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.
商品描述(中文翻譯)
程式除錯在軟體開發的過程中一直是一項困難且耗時的任務，其中基於頻譜的故障定位（spectrum-based fault localization, SBFL）是最廣泛研究的技術之一。雖然從現有文獻中了解特定 SBFL 技術的過程和實證表現並不特別困難，但研究人員和實務工作者並不總是熟悉其背後的理論。
本書提供了 SBFL 基本理論的第一本綜合指南，同時也針對該領域的一些新興挑戰進行探討。這裡介紹的理論框架揭示了各種風險評估公式之間的內在關係，使得構建公式性能層級成為可能。該框架的進一步擴展提供了一個一般最大公式的充分且必要條件，以及對混合 SBFL 方法的性能比較。關於 SBFL 中的新興挑戰，本書主要涵蓋了在 SBFL 中經常遇到的預言者問題，並介紹了一種基於變形切片的解決方案。此外，它還討論了多重故障定位的挑戰，並提出了克服該挑戰的前沿方法。
SBFL 是一個廣泛研究的領域，擁有大量的出版物。因此，軟體工程界，特別是那些參與程式除錯、軟體維護和軟體品質保證（包括新手和希望深入了解的研究人員）的人，理解最基本的理論是至關重要的，這也將對該領域的健康發展非常有幫助。
作者簡介
Xiaoyuan Xie is a Professor in School of Computer Science, Wuhan University. Her research interests include software testing, software fault localization, program analysis, and intelligent software engineering. She proposed a set-based theoretical framework for spectrum-based fault localization. This is the first theoretical framework in relevant areas. It reveals the intrinsic relations among different evaluation formulas, with which people can build formula performance hierarchy. This framework has further been extended to serve comparison among hybrid SBFL methods. Related works have been published in top-tier software engineering journals and conferences: TOSEM and ICSE, and have received over 250 citations. She also proposed the first method that properly alleviates the oracle problem in spectrum-based fault localization. Apart from spectrum-based fault localization, she has successfully applied Metamorphic Testing in different domains, such as machine learning, bioinformatics and etc. She has published over 40 papers in top-tier software engineering venues, including TOSEM, TSE, ICSE, FSE, JSS, IST, ICSME, and etc. She is now an Associate-Editor of Frontiers of Computer Science, a Guest Editor of Journal of Systems and Software, a PC Chair of International Workshop on Metamorphic Testing, as well as a reviewer/PC Member of top-tier software engineering journals and conferences.
Baowen Xu is a Professor in Department of Computer Science and Technology, Nanjing University. Prof. Xu has been engaged in the theory, methodology, and technology research of test-driven software defect diagnosis and analysis, since late 1980s. He has obtained a number of internationally advanced research results, which are highly praised by international peers and exert great impact in this research field. For more than 30 years, he has undertaken over 30 research projects from the National Natural Science Foundation of China, the Ministry of Education, the Ministry of Science and Technology, Jiangsu Province, and some enterprises.Prof. Baowen Xu was supported by the National Science Fund for Distinguished Young Scholars, the National Natural Science Foundation of China (including Major Research Plan, State Key Program, General Program, International Joint Research Program), the National Basic Research Program of China, the Key Program and General Program of National High Technology Research and Development Program of China, the Science and Technology Development Program, High Technological Program, and Natural Science Foundation of Jiangsu Province. He has published more than 300 papers with over 3000 citations, including top venues such as TOSEM, TSE, ICSE, FSE, IJCAI, etc. He has also served as the general chair, program committee chair/member in plenty of renowned academic conferences for more than 100 times.
作者簡介(中文翻譯)
小苑謝是武漢大學計算機科學學院的教授。她的研究興趣包括軟體測試、軟體故障定位、程式分析和智能軟體工程。她提出了一個基於集合的理論框架，用於基於譜的故障定位。這是相關領域中的第一個理論框架。它揭示了不同評估公式之間的內在關係，通過這些關係，人們可以建立公式性能的層次結構。這個框架進一步擴展以便於比較混合的 SBFL 方法。相關工作已發表在頂級軟體工程期刊和會議上，如 TOSEM 和 ICSE，並獲得超過 250 次引用。她還提出了第一種適當緩解基於譜的故障定位中的 oracle 問題的方法。除了基於譜的故障定位外，她還成功地將變形測試應用於不同領域，如機器學習、生物信息學等。她在頂級軟體工程會議上發表了超過 40 篇論文，包括 TOSEM、TSE、ICSE、FSE、JSS、IST、ICSME 等。她目前是《計算機科學前沿》的副編輯、《系統與軟體期刊》的客座編輯、國際變形測試研討會的程序委員會主席，以及多個頂級軟體工程期刊和會議的審稿人/程序委員會成員。
包文旭是南京大學計算機科學與技術系的教授。自1980年代末以來，徐教授一直從事測試驅動的軟體缺陷診斷和分析的理論、方法論和技術研究。他獲得了多項國際先進的研究成果，受到國際同行的高度讚譽，並在該研究領域產生了重大影響。30多年來，他承擔了來自中國國家自然科學基金、教育部、科技部、江蘇省及一些企業的30多個研究項目。包文旭教授曾獲得國家傑出青年科學基金的支持，中國國家自然科學基金（包括重大研究計劃、國家重點項目、一般項目、國際聯合研究計劃）、中國國家基礎研究計劃、國家高技術研究發展計劃的重點項目和一般項目、科技發展計劃、高技術計劃以及江蘇省自然科學基金的支持。他已發表超過300篇論文，引用次數超過3000次，包括 TOSEM、TSE、ICSE、FSE、IJCAI 等頂級會議。他還在許多著名學術會議中擔任過超過100次的總主席、程序委員會主席/成員。
