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

アクセス数:446件（2025-08-16 09:40 集計）

固定URL: https://hdl.handle.net/11094/78337

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
ICSME_2020_702 pdf なし 207 KB 288 2021.01.22  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
SBFL-Suitability: A Software Characteristic for Fault Localization
著者
著者名
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
著者名
Higo, Yoshiki
NRID
1000090583948 1000090583948
researchmap permalink
shinsuke-mat shinsuke-mat
Scopus Author ID
36661111200 36661111200
著者名
Matsumoto, Shinsuke
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
著者名
Kusumoto, Shinji
キーワード等
Mutation Testing
Software Quality
Spectrum-Based Fault Localization
内容
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]
抄録
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.
出版者
Institute of Electrical and Electronics Engineers Inc.
収録物名
Proceedings - 2020 IEEE International Conference on Software Maintenance and Evolution, ICSME 2020
ページ
702-706
刊行年月
2020-09
言語
英語
ハンドルURL
https://hdl.handle.net/11094/78337
関連情報 (isVersionOf)
DOI (出版社版)
https://doi.org/10.1109/ICSME46990.2020.00076
アクセス権
open access
権利情報
© 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.
出版タイプ
Accepted Manuscript
カテゴリ
会議発表論文 Conference Paper