Authors
Tetsuro Katayama, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro
Aburada, Naonobu Okazaki
Corresponding Author
Tetsuro Katayama
Available Online 1 September 2017.
DOI
https://doi.org/10.2991/jrnal.2017.4.2.1
Keywords
Software Testing, Boundary Value Analysis, Formal Methods, VDM++
Abstract
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.
Copyright
© 2013, the Authors. Published by ALife Robotics Corp. Ltd.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/)