グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立
图数据库后端软件测试方法的建立
基本信息
- 批准号: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年度に国際会議にて論文発表したグラフデータベースを用いたソフトウェアシステム開発工程におけるテストカバレッジの把握についても,用いたデータを公開するため,その準備を進めた.
This study is aimed at the establishment of a NoSQL database and its application, and aims to further the research on NoSQL database and its application by 2022. The most important thing is that the number of people in the world who are in the world is the number of people who are in the world. In this case, it is necessary to adjust the level of the system to a certain extent. This is the first time that we've measured the power of the engine. In 2021, the development of the method of communication was carried out in 2022. In fact, Neo4J and other representatives of the Internet to support the implementation of the Internet Cypher, most of the Internet to support the implementation of the operation (Internet to support the implementation of the operation) Node.js JavaScript to use the implementation of the Internet.Cypher to describe the implementation of the Internet to support the implementation of the implementation of the force, the automatic implementation of the Internet to support the implementation of the force. This is the first time I've ever been in a position to do this. Today, the 2021 International Conference will be held in Beijing, China. The conference will be held in Beijing, China.
项目成果
期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討
检查图形查询在需求和测试用例之间的覆盖率分析中的适用性
- DOI:
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:有若新悟;中川博之;土屋達弘
- 通讯作者:土屋達弘
要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について
图查询在需求规范测试覆盖率分析中的应用
- DOI:
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:有若新悟;中川博之;土屋達弘
- 通讯作者:土屋達弘
Graph queries for analyzing the coverage of requirements by test cases
用于分析测试用例的需求覆盖率的图形查询
- DOI:10.18293/seke2021-122
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:Shingo Ariwaka;Hiroyuki Nakagawa;Tatsuhiro Tsuchiya
- 通讯作者:Tatsuhiro Tsuchiya
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
土屋 達弘其他文献
Verifying Feature Interactions in Home Network Systems
验证家庭网络系统中的功能交互
- DOI:
- 发表时间:
2008 - 期刊:
- 影响因子:0
- 作者:
T. Matsuo;パッタラリーラープルット;土屋 達弘;菊野 亨;タカフミ マツオ;リーラープルット パッタラ;タツヒロ ツチヤ;トオル キクノ;Leelaprute Pattara;Tatsuhiro Tsuchiya;T. Kikuno - 通讯作者:
T. Kikuno
A Requirements Coverage Visualization Approach Based on Document Similarities
一种基于文档相似性的需求覆盖可视化方法
- DOI:
10.11309/jssst.35.1_67 - 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
松井 勝利;中川 博之;土屋 達弘 - 通讯作者:
土屋 達弘
土屋 達弘的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('土屋 達弘', 18)}}的其他基金
ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発
开发模型检查技术以实现可靠的分布式系统
- 批准号:
23K28060 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Development of model checking technology for dependable distributed systems
可靠分布式系统模型检测技术的开发
- 批准号:
23H03370 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
分散環境におけるディペンダブル情報システム実現のためのテスト・検証アプローチ
分布式环境下实现可靠信息系统的测试验证方法
- 批准号:
18049055 - 财政年份:2006
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
高信頼ソフトウェアを実現する強力なテストケース生成手法の開発
开发强大的测试用例生成方法以实现高可靠性软件
- 批准号:
17700033 - 财政年份:2005
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発
使用模型检查进行设计错误检测的软件分析系统的开发
- 批准号:
14019055 - 财政年份:2002
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発
使用模型检查进行设计错误检测的软件分析系统的开发
- 批准号:
13224060 - 财政年份:2001
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas (C)
悪意ある攻撃に対してデータの安全性を保障する高信頼多重化データ管理方式の研究
保障数据安全免受恶意攻击的高可靠复用数据管理方法研究
- 批准号:
12780224 - 财政年份:2000
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
分散システムにおける相互排除機構の高信頼化に関する研究
分布式系统中互斥机制增强可靠性研究
- 批准号:
10780190 - 财政年份:1998
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
Development of Effective e-Learning System for Programming Education
开发有效的编程教育电子学习系统
- 批准号:
15K00488 - 财政年份:2015
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (C)














{{item.name}}会员




