Volume 4, Issue 2, September 2017, Pages 110 - 113
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
Available Online 1 September 2017.
- https://doi.org/10.2991/jrnal.2017.4.2.1How to use a DOI?
- Software Testing, Boundary Value Analysis, Formal Methods, VDM++
- For software development using Formal Methods, we have developed a prototype of the boundary value test case automatic generation tool BWDM. The main two topics of our tool are (1) automatically generation of test cases and (2) boundary value analysis. Our tool improves the efficiency of software testing process in using VDM++ that is one of the Formal Methods. In this research, we show the composition of our tool, application example, evaluation of the usefulness, relative research, and future issues.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
Cite this article
TY - JOUR AU - Tetsuro Katayama AU - Hiroki Tachiyama AU - Yoshihiro Kita AU - Hisaaki Yamaba AU - Kentaro Aburada AU - Naonobu Okazaki PY - 2017 DA - 2017/09/01 TI - BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++ JO - Journal of Robotics, Networking and Artificial Life SP - 110 EP - 113 VL - 4 IS - 2 SN - 2352-6386 UR - https://doi.org/10.2991/jrnal.2017.4.2.1 DO - https://doi.org/10.2991/jrnal.2017.4.2.1 ID - Katayama2017 ER -