Rigorous and Efficient Library Compatibility Verification Method based on Runtime Information Analysis of Used Functions

本年度は互換性検証技術の構築を目的として，テストの生成やその実行の比較を対象に研究を行った．テストの実行時情報を効率的に比較する手法として，実行トレースからマークル木を作成し効率的に差分を検知する手法に着目し，互換性検証を行う手法の実装を行っている．メソッド返り値のみに着目するトレースや引数に関連するトレースなど様々な選択があるのでこれらを順に検討している段階である．また，ライブラリに対するテストの生成については，テスト自動生成技術によって生成したテストからライブラリの入出力に関連する部分のみ抽出することで，実行コストを下げつつカバレッジを増加させる手法の実装を行っている．実行トレースの収集及びテスト生成の技術については目途がついてたので，両者を組み合わせた実装を行い，手法の実現を図っている段階である．二つのソースコードが同一の機能を有しているかを判定するための要素技術として，テスト対象に対して記号実行を用いてテストを自動生成し，実行結果の比較を行うフレームワークを作成した．ソースコードの類似度もフレームワークにて測定することで，難読化前後の同機能を持つソースコードの信頼性の評価に用いることが可能となった．また，互換性検証を幅広く展開するために，類似した機能の対応付けも重要な項目となる．そのため，2つの類似するWebアプリケーションに対して，類似する機能の対応関係の抽出を行い，変更差分をもとに機能の対応付けを行う技術についても実現し，UIが異なるアプリケーションでも機能の対応付けが可能であることを確認した．

本年度は互換性検証技術の構築を目的として，テストの生成やその実行の比較を対象に研究を行った．テストの実行時情報を効率的に比較する手法として，実行トレースからマークル木を作成し効率的に差分を検知する手法に着目し，互換性検証を行う手法の実装を行っている．メソッド返り値のみに着目するトレースや引数に関連するトレースなど様々な選択があるのでこれらを順に検討している段階である．また，ライブラリに対するテストの生成については，テスト自動生成技術によって生成したテストからライブラリの入出力に関連する部分のみ抽出することで，実行コストを下げつつカバレッジを増加させる手法の実装を行っている．実行トレースの収集及びテスト生成の技術については目途がついてたので，両者を組み合わせた実装を行い，手法の実現を図っている段階である．二つのソースコードが同一の機能を有しているかを判定するための要素技術として，テスト対象に対して記号実行を用いてテストを自動生成し，実行結果の比較を行うフレームワークを作成した．ソースコードの類似度もフレームワークにて測定することで，難読化前後の同機能を持つソースコードの信頼性の評価に用いることが可能となった．また，互換性検証を幅広く展開するために，類似した機能の対応付けも重要な項目となる．そのため，2つの類似するWebアプリケーションに対して，類似する機能の対応関係の抽出を行い，変更差分をもとに機能の対応付けを行う技術についても実現し，UIが異なるアプリケーションでも機能の対応付けが可能であることを確認した．