| 研究課題/領域番号 |
22K21279
|
|---|
| 研究種目 |
研究活動スタート支援
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
1001:情報科学、情報工学およびその関連分野
|
|---|
| 研究機関 | 奈良先端科学技術大学院大学 |
|---|
研究代表者 |
嶋利 一真 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教 (50964376)
|
|---|
| 研究期間 (年度) |
2022-08-31 – 2024-03-31
|
| 研究課題ステータス |
完了 (2023年度)
|
| 配分額 *注記 |
2,860千円 (直接経費: 2,200千円、間接経費: 660千円)
2023年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2022年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | ソフトウェアテスト / 動的解析 / 依存関係 / ソフトウェア保守 / ソフトウェア工学 |
|---|
| 研究開始時の研究の概要 |
本研究では，ライブラリバージョン更新の迅速な適用を目的として，テストの実行時情報を利用した厳密かつ効率的な互換性検証手法を確立する．具体的には，（１）ライブラリ呼出し文にデータ依存関係や制御依存関係のある変数状態の比較を行うことで，ライブラリ更新による影響の有無を厳密に検証する技術と，（２）自動テスト生成技術とテスト選択技術を応用した，ユーザが利用しているライブラリの機能に対する効率的なテスト技術を実現する．これら二つの技術によって，ユーザが利用しているライブラリの機能に応じた厳密かつ効率的な互換性検証手法を確立する．
|
| 研究実績の概要 |
本研究では，ライブラリバージョン更新の迅速な適用を目的として，テストの実行時情報を利用した厳密かつ効率的な互換性検証手法を確立した．具体的には，（１）ライブラリメソッド内での実行の経路と値に基づく実行トレースを基にした厳密な実行トレースの比較による非互換性の検出と，（２）自動テスト生成技術によるユーザが利用しているライブラリの機能に対するテスト生成を実現した．
（１）の非互換性検出については，ライブラリの更新前後で挙動が変化する箇所を，更新されたライブラリのメソッドにおける実行命令列を基にした実行トレースと返り値を基にした実行トレースをマークル木を用いて効率的に比較し，差分が観測された箇所に着目した．これにより，ライブラリの非互換性発生時に確認すべきメソッド候補を，実行されたメソッドを基にして10%から20%程度に削減することが出来た．
（２）のライブラリ機能に対する自動テスト生成については，テスト対象ライブラリがOSSで利用されている事例を収集し，その単体テストを用いることで自動テスト生成を可能とした．具体的には，単体テストの実行トレースを収集し，そこからテスト対象ライブラリに関連する部分を抽出，さらに繰り返し呼出しされている実行についてはフィルタリングした．実OSSへの適用の結果，テスト対象ライブラリのカバレッジの増加を確認し，手法の適用により実際のライブラリ利用状況に基づいたテストケースの生成を行うことが出来た．
|
