Journal of Robotics, Networking and Artificial Life

Next Article In Issue>
Volume 6, Issue 3, December 2019, Pages 143 - 147

Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification

Authors
Tetsuro Katayama1, *, Futa Hirakoba1, Yoshihiro Kita2, Hisaaki Yamaba1, Kentaro Aburada1, Naonobu Okazaki1
1Department of Computer Science and Systems Engineering, Faculty of Engineering, University of Miyazaki, 1-1 Gakuen-kibanadai nishi, Miyazaki 889-2192, Japan
2School of Computer Science, Tokyo University of Technology, 1404-1 Katakuramachi, Hachioji City, Tokyo 192-0982, Japan
*Corresponding author. Email: kat@cs.miyazaki-u.ac.jp
Corresponding Author
Tetsuro Katayama
Received 15 October 2018, Accepted 22 November 2018, Available Online 10 December 2019.
DOI
10.2991/jrnal.k.191202.001How to use a DOI?
Keywords
Software testing; boundary value analysis; pairwise testing; formal methods; VDM++; PICT
Abstract

Verification tool for Vienna Development Method (BWDM) is a test case generation tool for the VDM++ specification. The existing BWDM could cause a combinatorial explosion of the generated test cases. To reduce the number of test cases, there is Pairwise Independent Combinatorial Testing Tool (PICT): a pairwise testing tool. We apply pairwise testing into BWDM. Here, BWDM cannot call PICT library directly. Hence, we have developed PICT-wrapper. It is an interface to connect PICT and BWDM. The extended BWDM eliminate the possibility of the combinatorial explosion.

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

Download article (PDF)
View full text (HTML)

Next Article In Issue>
Journal
Journal of Robotics, Networking and Artificial Life
Volume-Issue
6 - 3
Pages
143 - 147
Publication Date
2019/12/10
ISSN (Online)
2352-6386
ISSN (Print)
2405-9021
DOI
10.2991/jrnal.k.191202.001How to use a DOI?
Copyright
© 2019 The Authors. Published by Atlantis Press SARL.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

risenwbib
TY  - JOUR
AU  - Tetsuro Katayama
AU  - Futa Hirakoba
AU  - Yoshihiro Kita
AU  - Hisaaki Yamaba
AU  - Kentaro Aburada
AU  - Naonobu Okazaki
PY  - 2019
DA  - 2019/12/10
TI  - Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification
JO  - Journal of Robotics, Networking and Artificial Life
SP  - 143
EP  - 147
VL  - 6
IS  - 3
SN  - 2352-6386
UR  - https://doi.org/10.2991/jrnal.k.191202.001
DO  - 10.2991/jrnal.k.191202.001
ID  - Katayama2019
ER  -