ソフトウェアの動きから異常を自動検知

本研究では、人手で作成した入出力テストに頼らず、機械が不具合（異常）を検出することを目指しています。 具体的には、変更前後のソフトウェアにおける動作の差異から異常か否かの判断を試みています。 変更後の動作が変更前の動作と著しく異なる場合や、開発者の変更意図(コミットメッセージ等)から逸脱している場合を異常な変更として検出します。 右図のように、動的解析により変更前後のトレースログを取得し、ソフトウェア動作を定量化することで実現を試みています。