Authors
Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro
Aburada, Naonobu Okazaki
Corresponding Author
Tetsuro Katayama
Available Online 1 December 2015.
DOI
https://doi.org/10.2991/jrnal.2015.2.3.15
Keywords
automatic generation, decision table, formal method, formal specification,
VDM++, test design
Abstract
This research has implemented a prototype of a decision table generation
tool from the specification (the formal specification) described in a formal
specification language. This paper uses the formal specification description
language VDM++ which is the lightweight formal methods VDM (Vienna Development
Method) to write the formal specification. We applied some general specifications
to the prototype, in order to evaluate its usefulness. As a result, the
prototype has improved the efficiency in test design with formal methods.
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/).