| 講演抄録/キーワード |
| 講演名 |
2026-03-02 15:25
VM命令レベルSBFLのデータセット構築と性能評価 ○深井 元・小林隆志(Science Tokyo) SS2025-39 |
| 抄録 |
(和) |
従来のSpectrum-Based Fault Localization (SBFL)は文 (ステートメント)を最小単位として疑惑値を算出するため,文に含まれる短絡評価などによる制御フローの差異を捉えきれず,欠陥箇所特定の性能が低下する懸念がある.本研究では,この問題を解決するためにVM命令レベルでのSBFLを提案する.また,本手法を評価するためのデータセット構築における課題を解決するため,VM命令列に適した差分検出アルゴリズムについても提案する.Defects4Jを用いた実験の結果,提案手法は文レベルSBFLを適用できないケースに対しても適用可能であることが明らかとなった.さらに,提案手法で算出された命令レベルの疑惑値を集約することで,既存の文レベルSBFLよりも高い性能が得られることが示された. |
| (英) |
Since conventional Spectrum-Based Fault Localization (SBFL) calculates suspiciousness scores using statements as the minimum unit, it fails to capture control flow differences caused by mechanisms such as short-circuit evaluation within statements, raising concerns about degraded fault localization performance. To address this issue, this study proposes an SBFL technique at the VM instruction level. Furthermore, to resolve challenges in constructing a dataset for evaluating this method, we also propose a difference algorithm specialized for VM instruction sequences. Experimental results using Defects4J revealed that the proposed method is applicable even in cases where statement-level SBFL cannot be applied. Moreover, it was demonstrated that by aggregating the instruction-level suspiciousness scores calculated by the proposed method, higher performance than existing statement-level SBFL can be achieved. |
| キーワード |
(和) |
差分検出アルゴリズム / SBFL / 仮想マシン / 動的解析 / デバッグ / / / |
| (英) |
Difference Algorithm / SBFL / Virtual Machine / Dynamic Analysis / Debugging / / / |
| 文献情報 |
信学技報, vol. 125, no. 376, SS2025-39, pp. 55-60, 2026年3月. |
| 資料番号 |
SS2025-39 |
| 発行日 |
2026-02-23 (SS) |
| ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
SS2025-39 |