Filters








1 Hit in 2.8 sec

BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++

Tetsuro Katayama, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
2017 Journal of Robotics, Networking and Artificial Life (JRNAL)  
The main two topics of our tool are (1) automatically generation of test cases and (2) boundary value analysis.  ...  For software development using Formal Methods, we have developed a prototype of the boundary value test case automatic generation tool BWDM.  ...  Conclusion In this research, we have developed a prototype of test cases automatic generation tool BWDM based on boundary value analysis targeting the VDM++ specification with the aim of streamlining the  ... 
doi:10.2991/jrnal.2017.4.2.1 fatcat:ndmdh2v565hnvpskxk675ecuxm