Development and Evaluation of Model-Based Mutation Testing Techniques Using Petri Nets
Development and Evaluation of Model-Based Mutation Testing Techniques Using Petri Nets
使用 Petri 网的基于模型的突变测试技术的开发和评估
批准号：
26730038
负责人：
Takagi Tomohiko
金额：
$1.66万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Development of a Tool for Extended Place/transition Net-Based Mutation Testing
开发基于扩展位置/转换网络的突变测试工具
开发基于扩展位置/转换网络的突变测试工具
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama]
通讯作者：
Tetsuro Katayama
Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants
从基于扩展位置/转换网络的突变体生成阴性测试用例
从基于扩展位置/转换网络的突变体生成阴性测试用例
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Tomohiko Takagi, Tetsuro Katayama]
通讯作者：
Tetsuro Katayama
ペトリネットに基づくミュータントを用いたネガティブテストケースの作成
使用基于 Petri 网的突变体创建阴性测试用例
使用基于 Petri 网的突变体创建阴性测试用例
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Tomohiko Takagi, Akinori Akagi, Tetsuro Katayama, 高木 智彦]
通讯作者：
高木 智彦
Overview of a Place/Transition Net-Based Mutation Testing Framework to Obtain Test Cases Effective for Concurrent Software
基于位置/转换网络的突变测试框架的概述，用于获取对并发软件有效的测试用例
基于位置/转换网络的突变测试框架的概述，用于获取对并发软件有效的测试用例
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Tomohiko Takagi, Takuya Arao]
通讯作者：
Takuya Arao
DOI：
10.1007/978-3-319-64051-8_7
发表时间：
2017-07
期刊：
影响因子：
--
作者：
[Tomohiko Takagi;Akinori Akagi;T. Katayama]
通讯作者：
Tomohiko Takagi;Akinori Akagi;T. Katayama
共 11 条
海外基金