| Project/Area Number |
22K21279
|
|---|
| Research Category |
Grant-in-Aid for Research Activity Start-up
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
1001:Information science, computer engineering, and related fields
|
|---|
| Research Institution | Nara Institute of Science and Technology |
|---|
Principal Investigator |
嶋利 一真 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教 (50964376)
|
|---|
| Project Period (FY) |
2022-08-31 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2023: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2022: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | ソフトウェアテスト / 動的解析 / 依存関係 / ソフトウェア保守 / ソフトウェア工学 |
|---|
| Outline of Research at the Start |
本研究では，ライブラリバージョン更新の迅速な適用を目的として，テストの実行時情報を利用した厳密かつ効率的な互換性検証手法を確立する．具体的には，（１）ライブラリ呼出し文にデータ依存関係や制御依存関係のある変数状態の比較を行うことで，ライブラリ更新による影響の有無を厳密に検証する技術と，（２）自動テスト生成技術とテスト選択技術を応用した，ユーザが利用しているライブラリの機能に対する効率的なテスト技術を実現する．これら二つの技術によって，ユーザが利用しているライブラリの機能に応じた厳密かつ効率的な互換性検証手法を確立する．
|
| Outline of Annual Research Achievements |
本研究では，ライブラリバージョン更新の迅速な適用を目的として，テストの実行時情報を利用した厳密かつ効率的な互換性検証手法を確立した．具体的には，（１）ライブラリメソッド内での実行の経路と値に基づく実行トレースを基にした厳密な実行トレースの比較による非互換性の検出と，（２）自動テスト生成技術によるユーザが利用しているライブラリの機能に対するテスト生成を実現した．
（１）の非互換性検出については，ライブラリの更新前後で挙動が変化する箇所を，更新されたライブラリのメソッドにおける実行命令列を基にした実行トレースと返り値を基にした実行トレースをマークル木を用いて効率的に比較し，差分が観測された箇所に着目した．これにより，ライブラリの非互換性発生時に確認すべきメソッド候補を，実行されたメソッドを基にして10%から20%程度に削減することが出来た．
（２）のライブラリ機能に対する自動テスト生成については，テスト対象ライブラリがOSSで利用されている事例を収集し，その単体テストを用いることで自動テスト生成を可能とした．具体的には，単体テストの実行トレースを収集し，そこからテスト対象ライブラリに関連する部分を抽出，さらに繰り返し呼出しされている実行についてはフィルタリングした．実OSSへの適用の結果，テスト対象ライブラリのカバレッジの増加を確認し，手法の適用により実際のライブラリ利用状況に基づいたテストケースの生成を行うことが出来た．
|
