2023 Fiscal Year Final Research Report
Development of testing methodology for software with a graph database backend
| 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 |
|
|---|
| Project Period (FY) |
2020-04-01 – 2024-03-31
|
| Keywords | グラフデータベース / ミューテーションテスト / グラフクエリ / テストカバレッジ |
|---|
| Outline of Final Research Achievements |
The research aimed to address the testing of software using graph databases. First, in order to understand graph databases, we developed a method to support software testing using a graph database. In this method, the relationship between the design and test specifications of an information system is managed on a graph database. By retrieving information using queries to the database, users can visualize useful information, such as which functions are under-tested.
Based on this knowledge, we developed mutation operators for queries and a tool implementing these operators to embed bugs into queries artificially. This tool can automatically generate buggy queries, which can be used for mutation testing, such as measuring the bug detection capability of an existing test suite.
|
| Free Research Field |
ディペンダブルシステム
|
| Academic Significance and Societal Importance of the Research Achievements |
ネットワークの形でデータを管理するグラフデータベースは，近年普及が進んでいる新しいタイプのデータベースである．グラフデータベースを用いるソフトウェアのテストについて，本研究では取り組んだ．グラフデータベースとソフトウェアとのやり取りを行うための，ある種のプログラムであるクエリついて，人為的にバグを埋め込む方法を開発した．このような予めバグを含むことが分かっているプログラムを正しく検出できるかを調べることで，既存のテストが十分かといった評価が可能になり，情報システムの信頼性に貢献することが可能となる．
|
