プログラム異常動作の自動検出技術の創出:機械が実現するセキュアな自動テスト
体系的番号 |
JPMJPR22P3 |
DOI |
https://doi.org/10.52926/JPMJPR22P3 |
研究代表者 |
柏 祐太郎 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教
|
研究期間 (年度) |
2022 – 2025
|
概要 | 本研究では、人手で作成した入出力テストに頼らず、機械が不具合(異常)を検出することを目指します。具体的には、変更前後のソフトウェアを動作させ、動的解析によりトレースログ(プログラムがどのように動いたかを示すログ)を生成します。そして、変更後の動作が変更前の動作と著しく異なる場合や、開発者の変更意図(コミットメッセージ等)から逸脱している場合を異常な変更として検出する予測モデルを構築します。
|
研究領域 | 社会変革に向けたICT基盤強化 |