SBFL-Suitability: A Software Characteristic for Fault Localization

Sasaki, Yui; Higo, Yoshiki; Matsumoto, Shinsuke et al.

Proceedings - 2020 IEEE International Conference on Software Maintenance and Evolution, ICSME 2020, 2020, 702-706

Number of Access:450（2025-09-03 05:21 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/78337

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
ICSME_2020_702 pdf None 207 KB 297 2021.01.22  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
SBFL-Suitability: A Software Characteristic for Fault Localization
Creator
CreatorName
Sasaki, Yui
NRID
1000070452414 1000070452414
ORCID
0000-0002-8278-8975 0000-0002-8278-8975
researchmap permalink
yoshiki.higo yoshiki.higo
Scopus Author ID
7004831134 7004831134
CreatorName
Higo, Yoshiki
NRID
1000090583948 1000090583948
researchmap permalink
shinsuke-mat shinsuke-mat
Scopus Author ID
36661111200 36661111200
CreatorName
Matsumoto, Shinsuke
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
Kusumoto, Shinji
Subject
Mutation Testing
Software Quality
Spectrum-Based Fault Localization
Description
Y. Sasaki, Y. Higo, S. Matsumoto and S. Kusumoto, "SBFL-Suitability: A Software Characteristic for Fault Localization," 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME), Adelaide, Australia, 2020, pp. 702-706, doi: 10.1109/ICSME46990.2020.00076.
2020 IEEE International Conference on Software Maintenance and Evolution (ICSME) [28 Sept.-2 Oct. 2020, Adelaide, Australia, Australia]
Abstract
Spectrum-Based Fault Localization (in short, SBFL) is one of the popular techniques to localize faulty code fragments of a given program. SBFL utilizes the information about which statements are executed by each of the success or failure test cases. There are various implementation ways for the same functionality if we use high-level programming languages. The authors consider that differences in these implementation ways may affect the efficiency of localizing faults using SBFL. In this paper, we define a characteristic to what extent a program is suitable for SBFL as SBFL-Suitability, and we propose a technique for measuring SBFL-Suitability. The proposed technique generates many slightly-variant programs from a given program with Mutation Testing, and then it measures how accurately SBFL detects the changed program statements in the variant programs. We conducted an experiment to investigate how SBFL-Suitability differs depending on the differences in source code structures. As a result, we found that (1) the fewer statements in the same nesting level, the higher SBFL-Suitability tends to be, and (2) the presence of Early Return improves SBFL-Suitability.
Publisher
Institute of Electrical and Electronics Engineers Inc.
Source Title
Proceedings - 2020 IEEE International Conference on Software Maintenance and Evolution, ICSME 2020
Page
702-706
Date of Issued
2020-09
Language
English
Handle URL
https://hdl.handle.net/11094/78337
Relation.isVersionOf
DOI (Publisher Version)
https://doi.org/10.1109/ICSME46990.2020.00076
Access Rights
open access
CopyRight
© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
oaire:version
Accepted Manuscript
Category
会議発表論文 Conference Paper