| Title: | OS12-1 Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants |
|---|---|
| Publication: | ICAROB2018 |
| Volume: | 23 |
| Pages: | 513-516 |
| ISSN: | 2188-7829 |
| DOI: | 10.5954/ICAROB.2018.OS12-1 |
| Author(s): | Tomohiko Takagi, Tetsuro Katayama |
| Publication Date: | February 2, 2018 |
| Keywords: | Software Testing, Negative Testing, Model-Based Testing, Test Case Generation |
| Abstract: | In negative testing, the large state space and feasibility problems cause the difficulty of generating negative test cases from EPN (Extended Place/transition Net)-based mutants. This paper shows the overview of EPN-based mutants, and the details of our negative test case generation technique. In the technique using ACO (Ant Colony Optimization), ants heuristically search better paths (i.e., negative test cases) to find foods (i.e., intended failures) on a field (i.e., an EPN-based mutant). |
| PDF File: | https://alife-robotics.co.jp/members2018/icarob/data/html/data/OS_pdf/OS12/OS12-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.