Development and Evaluation of Model-Based Mutation Testing Techniques Using Petri Nets

使用 Petri 网的基于模型的突变测试技术的开发和评估

• 批准号: 26730038
• 负责人: Takagi Tomohiko
• 金额: $ 1.66万
• 依托单位: Kagawa University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2014
• 资助国家: 日本
• 起止时间: 2014-04-01 至 2018-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-26730038/
• 关键词: ソフトウェアテスト; ソフトウェア工学

项目成果

Development of a Tool for Extended Place/transition Net-Based Mutation Testing

开发基于扩展位置/转换网络的突变测试工具

• 发表时间: 2017
• 作者: Tomohiko Takagi;Shogo Morimoto;Tetsuro Katayama
• 通讯作者: Tetsuro Katayama

Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants

从基于扩展位置/转换网络的突变体生成阴性测试用例

• 发表时间: 2018
• 作者: Tomohiko Takagi;Tetsuro Katayama
• 通讯作者: Tetsuro Katayama

ペトリネットに基づくミュータントを用いたネガティブテストケースの作成

使用基于 Petri 网的突变体创建阴性测试用例

• 发表时间: 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

基于位置/转换网络的突变测试框架的概述，用于获取对并发软件有效的测试用例

• 发表时间: 2015
• 作者: Tomohiko Takagi;Takuya Arao
• 通讯作者: Takuya Arao

Heuristic Test Case Generation Technique Using Extended Place/Transition Nets

• DOI: 10.1007/978-3-319-64051-8_7
• 发表时间: 2017-07
• 作者: Tomohiko Takagi;Akinori Akagi;T. Katayama