2023 Fiscal Year Annual Research Report
Rigorous and Efficient Library Compatibility Verification Method based on Runtime Information Analysis of Used Functions
| Project/Area Number |
22K21279
|
|---|
| Research Institution | Nara Institute of Science and Technology |
|---|
Principal Investigator |
嶋利 一真 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教 (50964376)
|
|---|
| Project Period (FY) |
2022-08-31 – 2024-03-31
|
| Keywords | ソフトウェアテスト / 動的解析 / 依存関係 / ソフトウェア保守 |
|---|
| Outline of Annual Research Achievements |
本研究では，ライブラリバージョン更新の迅速な適用を目的として，テストの実行時情報を利用した厳密かつ効率的な互換性検証手法を確立した．具体的には，（１）ライブラリメソッド内での実行の経路と値に基づく実行トレースを基にした厳密な実行トレースの比較による非互換性の検出と，（２）自動テスト生成技術によるユーザが利用しているライブラリの機能に対するテスト生成を実現した．
（１）の非互換性検出については，ライブラリの更新前後で挙動が変化する箇所を，更新されたライブラリのメソッドにおける実行命令列を基にした実行トレースと返り値を基にした実行トレースをマークル木を用いて効率的に比較し，差分が観測された箇所に着目した．これにより，ライブラリの非互換性発生時に確認すべきメソッド候補を，実行されたメソッドを基にして10%から20%程度に削減することが出来た．
（２）のライブラリ機能に対する自動テスト生成については，テスト対象ライブラリがOSSで利用されている事例を収集し，その単体テストを用いることで自動テスト生成を可能とした．具体的には，単体テストの実行トレースを収集し，そこからテスト対象ライブラリに関連する部分を抽出，さらに繰り返し呼出しされている実行についてはフィルタリングした．実OSSへの適用の結果，テスト対象ライブラリのカバレッジの増加を確認し，手法の適用により実際のライブラリ利用状況に基づいたテストケースの生成を行うことが出来た．
|
