概要: 欠陥限局とはプログラムに含まれる欠陥箇所を推測する技術である．なかでも近年，Spectrum-Based Fault Localization（SBFL）に関する研究がさかんに行われている．SBFLは，テストケースごとの成否と，どの文が実行されたかという情報を用いて，プログラム中の欠陥箇所を推測する技術である．同一機能のプログラムであってもプログラムの構造が異なれば，同じテストケースによって実行される文が変化するため，SBFLの精度に違いが生じる可能性がある．本論文では，プログラムがSBFLにどの程度適しているかを，そのプログラムに対するSBFL適合性として提案する．SBFL適合性は，あるプログラムに対するSBFLの精度を表している．また，本論文ではSBFL適合性の1つの評価指標として，SBFLスコアの計測手法を提案する．提案手法は，すべてのテストケースを通過するプログラムに対し，ミューテーションテスト技術を活用して意図的に欠陥を発生させ，SBFLによってその欠陥箇所をどの程度正確に特定できたかを計測する．リファクタリングを題材に，プログラム構造の違いによるSBFLスコアの違いを分析した結果，同一条件分岐先で実行される文の総数が，SBFLスコアに影響を与える要素であることを確認した． タグ: fault, localization, measurement, program, suitability

@article{佐々木唯2021,
  author = {佐々木 唯 and 肥後 芳樹 and 柗本 真佑 and 楠本 真二},
  title = {プログラムに対する欠陥限局の適合性計測},
  journal = {情報処理学会論文誌},
  volume = {62},
  number = {4},
  pages = {1029--1038},
  year = {2021},
  month = {apr},
  url = {http://doi.org/10.20729/00210553}
}