| Title: | OS10-1 N-Switch and All-Path Test Coverage Criterion for Extended Finite State Machine |
|---|---|
| Publication: | ICAROB2022 |
| Volume: | 27 |
| Pages: | 174-177 |
| ISSN: | 2188-7829 |
| DOI: | 10.5954/ICAROB.2022.OS10-1 |
| Author(s): | Tomohiko Takagi, Koichiro Sakata, Kouichi Akiyama |
| Publication Date: | January 20, 2022 |
| Keywords: | model-based testing, finite state machine, test case, test coverage criterion |
| Abstract: | This paper shows a new test coverage criterion for extended finite state machine to comprehensively test the combination of state transitions and accompanying actions in software. Our criterion requires that (i) test cases cover all the successive state transition sequences of specified length, and also (ii) the test cases cover all the paths on control flow graphs of actions that accompany each of the successive state transition sequences. (i) and (ii) are the characteristics of N-switch and all-path test coverage criterion, respectively. Its definition, example and effectiveness are discussed in this paper. |
| PDF File: | https://alife-robotics.co.jp/members2022/icarob/data/html/data/OS/OS10/OS10-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.