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

Tetsuro Katayama, Futa Hirakoba, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
2019 Journal of Robotics, Networking and Artificial Life (JRNAL)  
Keywords Software testing boundary value analysis pairwise testing formal methods VDM++ PICT A B S T R A C T 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
more » ... DM 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.
doi:10.2991/jrnal.k.191202.001 fatcat:s6rvzc7fqra3xckejdn5sjta5u