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

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

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):...

Full description

Bibliographic Details
Main Authors: Tetsuro Katayama, Futa Hirakoba, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Format: Article
Language:English
Published: Atlantis Press 2019-12-01
Series:Journal of Robotics, Networking and Artificial Life (JRNAL)
Subjects:
Software testing
boundary value analysis
pairwise testing
formal methods
VDM++
PICT
Online Access:https://www.atlantis-press.com/article/125925497/view

Internet

https://www.atlantis-press.com/article/125925497/view

Similar Items