グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立
Project/Area Number |
20K11747
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 60050:Software-related
|
Research Institution | Osaka University |
Principal Investigator |
土屋 達弘 大阪大学, 大学院情報科学研究科, 教授 (30283740)
|
Project Period (FY) |
2020-04-01 – 2024-03-31
|
Project Status |
Completed (Fiscal Year 2023)
|
Budget Amount *help |
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2022: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2021: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2020: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
Keywords | グラフデータベース / ミューテーションテスト / グラフクエリ / テストカバレッジ / テスト / ソフトウェアテスト / カバレッジ |
Outline of Research at the Start |
本研究では,グラフデータベースという,ネットワークをデータとするデータベースを用いたシステムを対象に,そのソフトウェアをテストする方法の確立を目指す.これにより,信頼性の高いソフトウェアの実現が可能となる.研究では,ソフトウェアが実行するグラフデータベースに対する命令であるグラフクエリに注目する.具体的には,グラフクエリのどの部分がどの程度されたかを計測することで,どの程度テストが実行されているかを計測するための基準を考案する.さらに,その基準を用いて,効率の良い自動テスト手法を開発する.
|
Outline of Annual Research Achievements |
本課題では,グラフデータベースという,新しい種類のデータベースを用いるソフトウェアを対象とし,そのようなソフトウェアに対するテスト手法について研究を行った.当初の計画では,3年度目となる2022年度にて研究を完了する予定であったが,コロナ禍を経て研究発表をする機会を逃したため,1年終了時期を延長し,本年度で終了とした.最終年度となった本年度は,得られた成果を英文論文としてまとめ,国際会議にて発表を行った.加えて,開発したプログラムを公開するためのウェブページを整備し,公開した. 本研究4年間を通して実施した研究の概要は以下の通りである.まず,グラフデータベースの実際の用途を理解するとともに,研究課題であるソフトウェアテストに貢献できるように,グラフデータベースを用いてテストを支援する手法を開発した.具体的には,実際の情報システム開発で用いた様々な設計仕様書とテスト仕様書について,語彙の共有の点で関係度を割り当て,その結果をネットワークで表現し,グラフデータベースであるNeo4Jに保存した.このデータベースとクエリを用いて,テストが不足している機能などを可視化することができた. こうして得た知見を元に,クエリ言語であるCypherに対し,ミューテーション操作を設計し,入力されたCypherクエリにミューテーションを埋め込むツールを開発した.これにより,入力されたCypherクエリから,多数のミュータント,すなわち,バグを含むクエリを自動的に生成することを実現した.このようなミュータントを用いることで,既存のテストスイートのバグ検出能力を計測するといった,ミューテーションテストが可能となる. これらの研究については国内の研究会での発表とともに,2編の国際会議論文として発表することができた.
|
Report
(4 results)
Research Products
(6 results)