Authors
Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
Corresponding Author
Tomohiko Takagi
Available Online 1 September 2017.
DOI
https://doi.org/10.2991/jrnal.2017.4.2.14
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 ALife Robotics Corp. Ltd.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).