| 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 |
Shimari Kazumasa 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教 (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 Final Research Achievements |
In this research, we developed a rigorous and efficient compatibility verification method using run-time information from tests for rapid application of library version updates.
Specifically, (1) the detection of incompatibility by rigorous execution trace comparison based on execution traces, including the path and value of execution within library methods, and (2) test case generation for the functions of the library used by the library clients using automatic test case generation techniques based on execution traces.
These two techniques enabled the generation of test cases for the functions used by library clients when the library version was updated and compatibility verification based on execution traces.
|
| Academic Significance and Societal Importance of the Research Achievements |
ライブラリは近年のソフトウェア開発において必要不可欠であり，バグや脆弱性の修正機能追加のために更新作業を迅速に行う必要がある．本研究で達成した厳密かつ効率的なライブラリの互換性検証手法により，ユーザの利用機能に特化して非互換性を迅速に発見してライブラリの更新を支援することができ，高品質なソフトウェア開発につながる．また利用機能に特化することで，ライブラリの非互換性の影響も受けにくく，互換性検証やそれに伴うライブラリ更新作業コストの減少も期待できる．
|
