Journal of Robotics, Networking and Artificial Life

Volume 4, Issue 2, September 2017, Pages 168 - 174

Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example

Authors
Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
Corresponding Author
Tomohiko Takagi
Available Online 1 September 2017.
DOI
10.2991/jrnal.2017.4.2.14How to use a DOI?
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. If the mutation score is not good, the test suite can be improved based on mutant EPNs that have not been killed. The tool was applied to an example of non-trivial software, and it was found that the effectiveness of PN (Place/transition Net)-based mutation testing would be improved by achieving (a) the higher representation power of a PN by the introduction of actions and guards, and (b) the semi-automation by the tool.

Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Journal
Journal of Robotics, Networking and Artificial Life
Volume-Issue
4 - 2
Pages
168 - 174
Publication Date
2017/09/01
ISSN (Online)
2352-6386
ISSN (Print)
2405-9021
DOI
10.2991/jrnal.2017.4.2.14How to use a DOI?
Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Tomohiko Takagi
AU  - Shogo Morimoto
AU  - Tetsuro Katayama
PY  - 2017
DA  - 2017/09/01
TI  - Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example
JO  - Journal of Robotics, Networking and Artificial Life
SP  - 168
EP  - 174
VL  - 4
IS  - 2
SN  - 2352-6386
UR  - https://doi.org/10.2991/jrnal.2017.4.2.14
DO  - 10.2991/jrnal.2017.4.2.14
ID  - Takagi2017
ER  -