Development and Evaluation of Model-Based Mutation Testing Techniques Using Petri Nets
| Project/Area Number |
26730038
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kagawa University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2014-04-01 – 2018-03-31
|
| Project Status |
Completed (Fiscal Year 2017)
|
| Budget Amount *help |
¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2016: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2014: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
|
|---|
| Keywords | ソフトウェアテスト / ソフトウェア工学 |
|---|
| Outline of Final Research Achievements |
In this study, we defined EPN (Extended Place/transition Net) to represent the behavior of concurrent software in more detail. We constructed a technique to weight EPN based on various kinds of metrics, and techniques to calculate an extended mutation score, generate good test cases and mutant models. Additionally, we constructed a technique to generate good negative test cases from mutant models.
|
Report
(5 results)
Research Products
(11 results)
