| 講演抄録/キーワード |
| 講演名 |
2026-03-02 11:35
ミューテーション解析の容易化を目的とした段階的なミュータント抽象化の検討 ○石坂颯大・柗本真佑・楠本真二(阪大)・安田和矢・伊藤信治・代 吉楠(日立) SS2025-34 |
| 抄録 |
(和) |
ソフトウェアテストの品質評価手法としてミューテーション解析が活用されている.ミューテーション解析では,意図的にバグを混入させた複数のソースコード(ミュータント)を生成し,それらをテストで検出できるかを確認する.検出されず生存したミュータントは既存のテストの不十分さを示唆する.そのため開発者はそれらを分析してテストの改善を行う.しかしテスト不備とミュータントの間には意味的な乖離があり,開発者の類推によって補われている.これはテスト不備の原因理解や改善方針の検討を困難にし,分析コストの増加につながる.本研究ではテスト不備の解析の容易化を目的として,テストから生存した複数のミュータントを段階的に抽象化する手法を提案する.単一のテスト不備に起因する複数の生存ミュータントを段階的にまとめていくことで,単一不備に対する単一ミュータントの獲得を試みる.本研究会原稿では提案手法を擬似題材に対して適用することで,解析の容易化への有用性を検討する. |
| (英) |
(Not available yet) |
| キーワード |
(和) |
ミューテーション解析 / ミューテーションテスト / ミュータント / 抽象化 / / / / |
| (英) |
/ / / / / / / |
| 文献情報 |
信学技報, vol. 125, no. 376, SS2025-34, pp. 25-30, 2026年3月. |
| 資料番号 |
SS2025-34 |
| 発行日 |
2026-02-23 (SS) |
| ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
SS2025-34 |
| 研究会情報 |
| 研究会 |
SS |
| 開催期間 |
2026-03-02 - 2026-03-04 |
| 開催地(和) |
対馬市交流センター(長崎県対馬市) |
| 開催地(英) |
Tsushimashi Koryu Center |
| テーマ(和) |
ソフトウェアサイエンスおよび一般 |
| テーマ(英) |
|
| 講演論文情報の詳細 |
| 申込み研究会 |
SS |
| 会議コード |
2026-03-SS |
| 本文の言語 |
日本語(英語タイトルなし) |
| タイトル(和) |
ミューテーション解析の容易化を目的とした段階的なミュータント抽象化の検討 |
| サブタイトル(和) |
|
| タイトル(英) |
|
| サブタイトル(英) |
|
| キーワード(1)(和/英) |
ミューテーション解析 / |
| キーワード(2)(和/英) |
ミューテーションテスト / |
| キーワード(3)(和/英) |
ミュータント / |
| キーワード(4)(和/英) |
抽象化 / |
| キーワード(5)(和/英) |
/ |
| キーワード(6)(和/英) |
/ |
| キーワード(7)(和/英) |
/ |
| キーワード(8)(和/英) |
/ |
| 第1著者 氏名(和/英/ヨミ) |
石坂 颯大 / Sota Ishizaka / イシザカ ソウタ |
| 第1著者 所属(和/英) |
大阪大学 (略称: 阪大)
The University of Osaka (略称: UOsaka) |
| 第2著者 氏名(和/英/ヨミ) |
柗本 真佑 / Shinsuke Matsumoto / マツモト シンスケ |
| 第2著者 所属(和/英) |
大阪大学 (略称: 阪大)
The University of Osaka (略称: UOsaka) |
| 第3著者 氏名(和/英/ヨミ) |
楠本 真二 / Shinji Kusumoto / クスモト シンジ |
| 第3著者 所属(和/英) |
大阪大学 (略称: 阪大)
The University of Osaka (略称: UOsaka) |
| 第4著者 氏名(和/英/ヨミ) |
安田 和矢 / Kazuya Yasuda / ヤスダ カズヤ |
| 第4著者 所属(和/英) |
株式会社日立製作所 (略称: 日立)
Hitachi, Ltd. (略称: Hitachi) |
| 第5著者 氏名(和/英/ヨミ) |
伊藤 信治 / Shinji Itoh / イトウ シンジ |
| 第5著者 所属(和/英) |
株式会社日立製作所 (略称: 日立)
Hitachi, Ltd. (略称: Hitachi) |
| 第6著者 氏名(和/英/ヨミ) |
代 吉楠 / Jinan Dai / ダイ ジナン |
| 第6著者 所属(和/英) |
株式会社日立製作所 (略称: 日立)
Hitachi, Ltd. (略称: Hitachi) |
| 第7著者 氏名(和/英/ヨミ) |
/ / |
| 第7著者 所属(和/英) |
(略称: )
(略称: ) |
| 第8著者 氏名(和/英/ヨミ) |
/ / |
| 第8著者 所属(和/英) |
(略称: )
(略称: ) |
| 第9著者 氏名(和/英/ヨミ) |
/ / |
| 第9著者 所属(和/英) |
(略称: )
(略称: ) |
| 第10著者 氏名(和/英/ヨミ) |
/ / |
| 第10著者 所属(和/英) |
(略称: )
(略称: ) |
| 第11著者 氏名(和/英/ヨミ) |
/ / |
| 第11著者 所属(和/英) |
(略称: )
(略称: ) |
| 第12著者 氏名(和/英/ヨミ) |
/ / |
| 第12著者 所属(和/英) |
(略称: )
(略称: ) |
| 第13著者 氏名(和/英/ヨミ) |
/ / |
| 第13著者 所属(和/英) |
(略称: )
(略称: ) |
| 第14著者 氏名(和/英/ヨミ) |
/ / |
| 第14著者 所属(和/英) |
(略称: )
(略称: ) |
| 第15著者 氏名(和/英/ヨミ) |
/ / |
| 第15著者 所属(和/英) |
(略称: )
(略称: ) |
| 第16著者 氏名(和/英/ヨミ) |
/ / |
| 第16著者 所属(和/英) |
(略称: )
(略称: ) |
| 第17著者 氏名(和/英/ヨミ) |
/ / |
| 第17著者 所属(和/英) |
(略称: )
(略称: ) |
| 第18著者 氏名(和/英/ヨミ) |
/ / |
| 第18著者 所属(和/英) |
(略称: )
(略称: ) |
| 第19著者 氏名(和/英/ヨミ) |
/ / |
| 第19著者 所属(和/英) |
(略称: )
(略称: ) |
| 第20著者 氏名(和/英/ヨミ) |
/ / |
| 第20著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第1著者 |
| 発表日時 |
2026-03-02 11:35:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
SS |
| 資料番号 |
SS2025-34 |
| 巻番号(vol) |
vol.125 |
| 号番号(no) |
no.376 |
| ページ範囲 |
pp.25-30 |
| ページ数 |
6 |
| 発行日 |
2026-02-23 (SS) |