| 講演抄録/キーワード |
| 講演名 |
2026-03-03 11:10
自動テスト生成を用いたリファクタリング検証手法の改善 ○松尾唯音・柗本真佑・楠本真二(阪大) SS2025-55 |
| 抄録 |
(和) |
リファクタリングとは,振る舞いを保持しつつソースコード内部の構造を改善するプロセスのことである.リファクタリングの実施の際に,リファクタリング失敗,すなわちソースコードの変更前後での振る舞いの差異が発生してしまう場合がある.リファクタリング失敗に対しては,テストを用いた検証が可能である.テストを用いた検証として,自動テスト生成を用いた等価性検証が存在する.しかし既存研究の報告によると,自動テスト生成によるリファクタリング検証手法の精度は約50%と高くない.本研究ではリファクタリング失敗の自動検出を目的として,自動テスト生成ツールを用いたリファクタリング前後の等価性検証の改善に取り組む.テストの多様性を減らさずに等価性判定をより徹底的に行うことで,リファクタリング失敗の検出率を向上させる.本研究会原稿では,既存研究の手法を改善した検証手法を提案し,その有効性を評価する. |
| (英) |
(Not available yet) |
| キーワード |
(和) |
リファクタリング / ソフトウェアテスト / 自動テスト生成 / / / / / |
| (英) |
/ / / / / / / |
| 文献情報 |
信学技報, vol. 125, no. 376, SS2025-55, pp. 151-156, 2026年3月. |
| 資料番号 |
SS2025-55 |
| 発行日 |
2026-02-23 (SS) |
| ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
SS2025-55 |