2023 Fiscal Year Annual Research Report
グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立
| Project/Area Number |
20K11747
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
土屋 達弘 大阪大学, 大学院情報科学研究科, 教授 (30283740)
|
|---|
| Project Period (FY) |
2020-04-01 – 2024-03-31
|
| Keywords | グラフデータベース / ミューテーションテスト / グラフクエリ / テストカバレッジ |
|---|
| Outline of Annual Research Achievements |
本課題では，グラフデータベースという，新しい種類のデータベースを用いるソフトウェアを対象とし，そのようなソフトウェアに対するテスト手法について研究を行った．当初の計画では，３年度目となる2022年度にて研究を完了する予定であったが，コロナ禍を経て研究発表をする機会を逃したため，１年終了時期を延長し，本年度で終了とした．最終年度となった本年度は，得られた成果を英文論文としてまとめ，国際会議にて発表を行った．加えて，開発したプログラムを公開するためのウェブページを整備し，公開した．
本研究４年間を通して実施した研究の概要は以下の通りである．まず，グラフデータベースの実際の用途を理解するとともに，研究課題であるソフトウェアテストに貢献できるように，グラフデータベースを用いてテストを支援する手法を開発した．具体的には，実際の情報システム開発で用いた様々な設計仕様書とテスト仕様書について，語彙の共有の点で関係度を割り当て，その結果をネットワークで表現し，グラフデータベースであるNeo4Jに保存した．このデータベースとクエリを用いて，テストが不足している機能などを可視化することができた．
こうして得た知見を元に，クエリ言語であるCypherに対し，ミューテーション操作を設計し，入力されたCypherクエリにミューテーションを埋め込むツールを開発した．これにより，入力されたCypherクエリから，多数のミュータント，すなわち，バグを含むクエリを自動的に生成することを実現した．このようなミュータントを用いることで，既存のテストスイートのバグ検出能力を計測するといった，ミューテーションテストが可能となる．
これらの研究については国内の研究会での発表とともに，２編の国際会議論文として発表することができた．
|
Research Products
(2 results)
