Journal of Robotics, Networking and Artificial Life

Volume 4, Issue 2, September 2017, Pages 110 - 113

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

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.1How to use a DOI?
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.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Journal
Journal of Robotics, Networking and Artificial Life
Volume-Issue
4 - 2
Pages
110 - 113
Publication Date
2017/09/01
ISSN (Online)
2352-6386
ISSN (Print)
2405-9021
DOI
https://doi.org/10.2991/jrnal.2017.4.2.1How to use a DOI?
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  -