| Title: | OS6-1 Development of a Tool for Extended Place/transition Net-Based Mutation Testing |
|---|---|
| Publication: | ICAROB2017 |
| Volume: | 22 |
| Pages: | 266-270 |
| ISSN: | 2188-7829 |
| DOI: | 10.5954/ICAROB.2017.OS6-1 |
| Author(s): | Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama |
| Publication Date: | January 19, 2017 |
| Keywords: | Software Testing, Mutation Testing, Model-Based Testing, Vienna Development Method |
| Abstract: | This paper shows a tool for EPN (Extended Place/transition Net)-based mutation testing to evaluate and improve the quality of a test suite for concurrent software. The tool includes functions for (1) construction of an original EPN that represents the expected behavior of concurrent software under test, (2) construction of mutant EPNs by applying mutation operators to the original EPN, (3) execution of a test suite on each mutant EPN in order to calculate its mutation score, and so on. |
| PDF File: | https://alife-robotics.co.jp/members2017/icarob/data/html/data/OS_pdf/OS6/OS6-1.pdf |
| Copyright: | © The authors. This article is distributed under the terms of the Creative Commons Attribution License 4.0, which permits non-commercial use, distribution and reproduction in any medium, provided the original work is properly cited. See for details: https://creativecommons.org/licenses/by-nc/4.0/ |
(c)2008 Copyright The Regents of ALife Robotics Corporation Ltd. All Rights Reserved.