| 研究課題/領域番号 |
20K11747
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
土屋 達弘 大阪大学, 大学院情報科学研究科, 教授 (30283740)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2024-03-31
|
| 研究課題ステータス |
完了 (2023年度)
|
| 配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2022年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2021年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2020年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
|
|---|
| キーワード | グラフデータベース / ミューテーションテスト / グラフクエリ / テストカバレッジ / テスト / ソフトウェアテスト / カバレッジ |
|---|
| 研究開始時の研究の概要 |
本研究では，グラフデータベースという，ネットワークをデータとするデータベースを用いたシステムを対象に，そのソフトウェアをテストする方法の確立を目指す．これにより，信頼性の高いソフトウェアの実現が可能となる．研究では，ソフトウェアが実行するグラフデータベースに対する命令であるグラフクエリに注目する．具体的には，グラフクエリのどの部分がどの程度されたかを計測することで，どの程度テストが実行されているかを計測するための基準を考案する．さらに，その基準を用いて，効率の良い自動テスト手法を開発する．
|
| 研究成果の概要 |
グラフデータベースを用いるソフトウェアのテストについて研究を行った．まず，グラフデータベースを理解するために，グラフデータベースを用いてテストを支援する手法を開発した．情報システムの設計仕様書とテスト仕様書とのの関係性をグラフデータベース上で管理する．データベースに対してクエリを用いて情報を取得することで，どの機能がテスト不足かといった情報の可視化を実現した．
この知見を元に，クエリへ人為的にバグを埋め込む操作とツールを開発し，多数のバグを含むクエリを自動的に生成することを実現した．これらのクエリを用いて，テストスイートのバグ検出能力の計測するといった，ミューテーションテストを可能とした．
|
| 研究成果の学術的意義や社会的意義 |
ネットワークの形でデータを管理するグラフデータベースは，近年普及が進んでいる新しいタイプのデータベースである．グラフデータベースを用いるソフトウェアのテストについて，本研究では取り組んだ．グラフデータベースとソフトウェアとのやり取りを行うための，ある種のプログラムであるクエリついて，人為的にバグを埋め込む方法を開発した．このような予めバグを含むことが分かっているプログラムを正しく検出できるかを調べることで，既存のテストが十分かといった評価が可能になり，情報システムの信頼性に貢献することが可能となる．
|
