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: [email protected]
Corresponding Author
Tetsuro Katayama
Received 15 October 2018, Accepted 22 November 2018, Available Online 10
December 2019.
DOI
https://doi.org/10.2991/jrnal.k.191202.001
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 ALife Robotics Corp. Ltd.
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/).