|
本研究では，ライブラリバージョン更新の迅速な適用を目的として，テストの実行時情報を利用した厳密かつ効率的な互換性検証手法を確立した．
具体的には，（１）ライブラリメソッド内での実行の経路と値に基づく実行トレースを基にした厳密な実行トレースの比較による非互換性の検出と，（２）実行トレースを用いた自動テスト生成技術による，ユーザが利用しているライブラリの機能に対するテスト生成を実現した．これら２つの技術により，ライブラリバージョンが更新された際に，ユーザの利用機能に対してテストを生成し，実行トレースに基づく互換性検証を実現した．
|
