グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立

图数据库后端软件测试方法的建立

• 批准号: 20K11747
• 负责人: 土屋 達弘
• 金额: $ 2.75万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20K11747/
• 关键词: グラフデータベース; ミューテーションテスト; グラフクエリ; テストカバレッジ; テスト; ソフトウェアテスト; カバレッジ

本研究では，NoSQLデータベースの１つであるグラフデータベースを用いるソフトウェアを対象としたテスト手法の確立を目指している．3年度目となる2022年度では，このようなソフトウェアを対象とするミューテーションテスト（ミューテーション分析）に関する研究を主に進めた．ミューテーションテストは，プログラムに人為的にバグを埋め込むことで，誤ったプログラムを多数生成する．テストをこれらのプログラムに対し実行し，どの程度，不具合が検出できたかを調べる．このことで，テストスイートのバグ検出能力を計測することができる．前年度の2021年度でグラフデータベースにおける問合せ言語（クエリ言語）に対するミューテーションテスト方法を開発したが，2022年度では，この方法の実装を中心に行った．この実装では，Neo4J等の代表的なグラフデータベースでサポートされているクエリ言語Cypherに対し，多数のミューテーション操作（バグを埋め込む操作）をNode.jsとJavaScriptを用いて実現した．Cypherで記述されたクエリをこの実装に入力すると，自動的にバグを含む多数のクエリが出力される．このミューテーションテストを実行するツールの実装に加えて，コードのホスティングサービスサイト上でこのツールを公開するための準備を進めた．さらに，2021年度に国際会議にて論文発表したグラフデータベースを用いたソフトウェアシステム開発工程におけるテストカバレッジの把握についても，用いたデータを公開するため，その準備を進めた．

This study で は, no デ ー タ ベ ー ス の 1 つ で あ る グ ラ フ デ ー タ ベ ー ス を with い る ソ フ ト ウ ェ ア を like と seaborne し た テ ス ト gimmick の establish を refers し て い る. 3 year mesh と な る 2022 で は, こ の よ う な ソ フ ト ウ ェ ア を like と seaborne す る ミ ュ ー テ ー シ ョ ン テ ス ト (ミ ュ ー テ ー シ ョ ン analysis) に masato す を main に る research into め た. ミ ュ ー テ ー シ ョ ン テ ス ト は, プ ロ グ ラ ム に man-made に バ グ を buried め 込 む こ と で, mistakenly っ た プ ロ グ ラ ム を most generated す る. Youdaoplaceholder0 た れら プログラムに プログラムに プログラムに for the actual <s:1> and <s:1> degree of <s:1>, it does not have the ability to が検 produce で た た を を を を べる べる べる べる べる べる べる べる べる を を を べる べる べる べる. The output capacity of を measurement する とがで とがで る る る ト ト バグ検 バグ検 る る measurement. Annual の before 2021 で グ ラ フ デ ー タ ベ ー ス に お け る asked us せ words (ク エ リ words) に す seaborne る ミ ュ ー テ ー シ ョ ン テ ス ト method を open 発 し た が, 2022 annual で は, こ の way の be loaded を center line に っ た. こ の be loaded で は, secondary の represent な グ ラ フ デ ー タ ベ ー ス で サ ポ ー ト さ れ て い る ク エ リ words of Cypher に し seaborne, most の ミ ュ ー テ ー シ ョ ン operation (バ グ を buried め 込 む operation) を Node. Js と JavaScript を with い て be presently し た. Account of Cypher で さ れ た ク エ リ を こ の be loaded に す into force る と, automatic に バ グ を including む most の ク エ リ が output さ れ る. こ の ミ ュ ー テ ー シ ョ ン テ ス ト を line be す る ツ ー ル の be loaded に plus え て, コ ー ド の ホ ス テ ィ ン グ サ ー ビ ス サ イ ト on で こ の ツ ー ル を public す る た め の prepare を into め た. に さ ら に, 2021 international conference on に て paper 発 table し た グ ラ フ デ ー タ ベ ー ス を with い た ソ フ ト ウ ェ ア シ ス テ ム open 発 engineering に お け る テ ス ト カ バ レ ッ ジ の grasp に つ い て も, use い た デ ー タ を public す る た め, そ の prepare を into め た.

项目成果

要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討

检查图形查询在需求和测试用例之间的覆盖率分析中的适用性

• 发表时间: 2020
• 期刊: 信学技報
• 作者: 有若新悟;中川博之;土屋達弘
• 通讯作者: 土屋達弘

グラフクエリに対するミューテーションテストの提案

图查询的突变测试建议

• 发表时间: 2021
• 期刊: 情報処理学会 研究報告ソフトウェア工学（SE）
• 作者: 有若 新悟;土屋達弘
• 通讯作者: 土屋達弘

要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について

图查询在需求规范测试覆盖率分析中的应用

• 发表时间: 2021
• 作者: 有若新悟;中川博之;土屋達弘
• 通讯作者: 土屋達弘

Graph queries for analyzing the coverage of requirements by test cases

用于分析测试用例的需求覆盖率的图形查询

• DOI: 10.18293/seke2021-122
• 发表时间: 2021
• 期刊: Proc. of the 33rd International Conference on Software Engineering & Knowledge Engineering (SEKE 2021)
• 作者: Shingo Ariwaka;Hiroyuki Nakagawa;Tatsuhiro Tsuchiya
• 通讯作者: Tatsuhiro Tsuchiya