Kusumoto Laboratory: 石坂, 柗本, 楠本, 安田, 伊藤, 代, ミューテーション解析の容易化を目的とした 段階的なミュータント抽象化の検討, 2026年.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
Tweet
石坂, 柗本, 楠本, 安田, 伊藤, 代, "ミューテーション解析の容易化を目的とした 段階的なミュータント抽象化の検討," 電子情報通信学会技術研究報告, 2026年.
ID 886
分類 研究会・全国大会等
タグ
表題 (title) ミューテーション解析の容易化を目的とした 段階的なミュータント抽象化の検討
表題 (英文)
著者名 (author) 石坂 颯大,柗本 真佑,楠本 真二,安田 和矢,伊藤 信治,代 吉楠
英文著者名 (author) Sota Ishizaka,,Shinji Kusumoto,Kazuya Yasuda,Shinji Itoh,
編者名 (editor)
編者名 (英文)
キー (key) Sota Ishizaka,,Shinji Kusumoto,Kazuya Yasuda,Shinji Itoh,
書籍・会議録表題 (booktitle) 電子情報通信学会技術研究報告
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages)
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2026
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract) ソフトウェアテストの品質評価手法としてミューテーション解析が活用されている.ミューテーション解析では,意図的にバグを混入させた複数のソースコード(ミュータント)を生成し,それらをテストで検出できるかを確認する.検出されず生存したミュータントは既存のテストの不十分さを示唆する.そのため開発者はそれらを分析してテストの改善を行う.しかしテスト不備とミュータントの間には意味的な乖離があり,開発者の類推によって補われている.これはテスト不備の原因理解や改善方針の検討を困難にし,分析コストの増加につながる.本研究ではテスト不備の解析の容易化を目的として,テストから生存した複数のミュータントを段階的に抽象化する手法を提案する.単一のテスト不備に起因する複数の生存ミュータントを段階的にまとめていくことで,単一不備に対する単一ミュータントの獲得を試みる.本研究会原稿では提案手法を擬似題材に対して適用することで,解析の容易化への有用性を検討する.
論文電子ファイル draft.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id886,
         title = {ミューテーション解析の容易化を目的とした 段階的なミュータント抽象化の検討},
        author = {石坂 颯大 and 柗本 真佑 and 楠本 真二 and 安田 和矢 and 伊藤 信治 and 代 吉楠},
     booktitle = {電子情報通信学会技術研究報告},
         month = {0},
          year = {2026},
}
  

Search

Tags

1 件の該当がありました. : このページのURL : HTML

Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.038781 seconds.