2017 Fiscal Year Final Research Report
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
|
| 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.
|
| Free Research Field |
ソフトウェア工学
|
