Journal of Robotics, Networking and Artificial Life

Volume 5, Issue 2, September 2018, Pages 122 - 127

Genetic Algorithm-Based Technique and Tool for Generating Mutants of Extended Place/Transition Nets

Authors
Tomohiko Takagitakagi@eng.kagawa-u.ac.jp
Faculty of Engineering and Design, Kagawa University, 2217-20 Hayashi-cho, Takamatsu-shi, Kagawa 761-0396, Japan
Shogo Morimotos17g483@stu.kagawa-u.ac.jp
Graduate School of Engineering, Kagawa University, 2217-20 Hayashi-cho, Takamatsu-shi, Kagawa 761-0396, Japan
Available Online 30 September 2018.
DOI
https://doi.org/10.2991/jrnal.2018.5.2.11How to use a DOI?
Keywords
Mutation Testing; Model-Based Testing; Place/Transition Net; Genetic Algorithm
Abstract

An EPN (Extended Place/transition Net) is used as a formal model that represents the behavior of software. When mutation testing is performed based on the EPN, failures are intentionally inserted into an original EPN (EPN that represents the expected behavior of software) in order to create mutant EPNs. A large number of higher-quality mutant EPNs are needed to expect the higher degree of accuracy for a mutation score, but the techniques to generate them have not been established. To address this problem, we construct a technique to generate mutant EPNs, and develop a tool to support the technique. In this technique based on a genetic algorithm, a set of mutant EPNs corresponds to a chromosome, and the fitness of each chromosome is evaluated based on an original EPN weighted by metrics. This paper shows the procedure of this technique, the functions of the tool, and the discussion about its effectiveness.

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

Download article (PDF)
View full text (HTML)

Journal
Journal of Robotics, Networking and Artificial Life
Volume-Issue
5 - 2
Pages
122 - 127
Publication Date
2018/09/30
ISSN (Online)
2352-6386
ISSN (Print)
2405-9021
DOI
https://doi.org/10.2991/jrnal.2018.5.2.11How to use a DOI?
Copyright
Copyright © 2018, the Authors. Published by Atlantis Press.
Open Access
This is an open access article under the CC BY-NC license (http://creativecommons.org/licences/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Tomohiko Takagi
AU  - Shogo Morimoto
PY  - 2018
DA  - 2018/09/30
TI  - Genetic Algorithm-Based Technique and Tool for Generating Mutants of Extended Place/Transition Nets
JO  - Journal of Robotics, Networking and Artificial Life
SP  - 122
EP  - 127
VL  - 5
IS  - 2
SN  - 2352-6386
UR  - https://doi.org/10.2991/jrnal.2018.5.2.11
DO  - https://doi.org/10.2991/jrnal.2018.5.2.11
ID  - Takagi2018
ER  -