グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立
グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立
批准号:
20K11747
负责人:
土屋 達弘
金额:
$2.75万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
2020
资助国家:
日本
项目状态:
已结题
起止时间:
2020-04-01 至 2024-03-31
中文摘要
本研究では,NoSQLデータベースの1つであるグラフデータベースを用いるソフトウェアを対象としたテスト手法の確立を目指している.3年度目となる2022年度では,このようなソフトウェアを対象とするミューテーションテスト(ミューテーション分析)に関する研究を主に進めた.ミューテーションテストは,プログラムに人為的にバグを埋め込むことで,誤ったプログラムを多数生成する.テストをこれらのプログラムに対し実行し,どの程度,不具合が検出できたかを調べる.このことで,テストスイートのバグ検出能力を計測することができる.前年度の2021年度でグラフデータベースにおける問合せ言語(クエリ言語)に対するミューテーションテスト方法を開発したが,2022年度では,この方法の実装を中心に行った.この実装では,Neo4J等の代表的なグラフデータベースでサポートされているクエリ言語Cypherに対し,多数のミューテーション操作(バグを埋め込む操作)をNode.jsとJavaScriptを用いて実現した.Cypherで記述されたクエリをこの実装に入力すると,自動的にバグを含む多数のクエリが出力される.このミューテーションテストを実行するツールの実装に加えて,コードのホスティングサービスサイト上でこのツールを公開するための準備を進めた.さらに,2021年度に国際会議にて論文発表したグラフデータベースを用いたソフトウェアシステム開発工程におけるテストカバレッジの把握についても,用いたデータを公開するため,その準備を進めた.
英文摘要
本研究では,NoSQLデータベースの1つであるグラフデータベースを用いるソフトウェアを対象としたテスト手法の確立を目指している.3年度目となる2022年度では,このようなソフトウェアを対象とするミューテーションテスト(ミューテーション分析)に関する研究を主に進めた.ミューテーションテストは,プログラムに人為的にバグを埋め込むことで,誤ったプログラムを多数生成する.テストをこれらのプログラムに対し実行し,どの程度,不具合が検出できたかを調べる.このことで,テストスイートのバグ検出能力を計測することができる.前年度の2021年度でグラフデータベースにおける問合せ言語(クエリ言語)に対するミューテーションテスト方法を開発したが,2022年度では,この方法の実装を中心に行った.この実装では,Neo4J等の代表的なグラフデータベースでサポートされているクエリ言語Cypherに対し,多数のミューテーション操作(バグを埋め込む操作)をNode.jsとJavaScriptを用いて実現した.Cypherで記述されたクエリをこの実装に入力すると,自動的にバグを含む多数のクエリが出力される.このミューテーションテストを実行するツールの実装に加えて,コードのホスティングサービスサイト上でこのツールを公開するための準備を進めた.さらに,2021年度に国際会議にて論文発表したグラフデータベースを用いたソフトウェアシステム開発工程におけるテストカバレッジの把握についても,用いたデータを公開するため,その準備を進めた.
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討
检查图形查询在需求和测试用例之间的覆盖率分析中的适用性
DOI:
--
发表时间:
2020
期刊:
信学技報
影响因子:
--
作者:
[有若新悟, 中川博之, 土屋達弘]
通讯作者:
土屋達弘
グラフクエリに対するミューテーションテストの提案
图查询的突变测试建议
DOI:
--
发表时间:
2021
期刊:
情報処理学会 研究報告ソフトウェア工学(SE)
影响因子:
--
作者:
[有若 新悟, 土屋達弘]
通讯作者:
土屋達弘
要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について
图查询在需求规范测试覆盖率分析中的应用
DOI:
--
发表时间:
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
ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発
-
批准号:23K28060
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$7.99万
-
财政年份:2024
-
负责人:土屋 達弘
-
依托单位:
Development of model checking technology for dependable distributed systems
-
批准号:23H03370
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$11.73万
-
财政年份:2023
-
负责人:土屋 達弘
-
依托单位:
分散環境におけるディペンダブル情報システム実現のためのテスト・検証アプローチ
-
批准号:18049055
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$1.47万
-
财政年份:2006
-
负责人:土屋 達弘
-
依托单位:
高信頼ソフトウェアを実現する強力なテストケース生成手法の開発
-
批准号:17700033
-
项目类别:Grant-in-Aid for Young Scientists (B)
-
资助金额:$1.28万
-
财政年份:2005
-
负责人:土屋 達弘
-
依托单位:
設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発
-
批准号:14019055
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$1.41万
-
财政年份:2002
-
负责人:土屋 達弘
-
依托单位:
設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発
-
批准号:13224060
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas (C)
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:土屋 達弘
-
依托单位:
悪意ある攻撃に対してデータの安全性を保障する高信頼多重化データ管理方式の研究
-
批准号:12780224
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.83万
-
财政年份:2000
-
负责人:土屋 達弘
-
依托单位:
分散システムにおける相互排除機構の高信頼化に関する研究
-
批准号:10780190
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.64万
-
财政年份:1998
-
负责人:土屋 達弘
-
依托单位:
海外基金