Journal of Robotics, Networking and Artificial Life

Volume 2, Issue 3, December 2015, Pages 205 - 208

Prototype of a Decision Table Generation Tool from the Formal Specification

Authors
Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Corresponding Author
Tetsuro Katayama
Available Online 1 December 2015.
DOI
10.2991/jrnal.2015.2.3.15How to use a DOI?
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 Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Journal
Journal of Robotics, Networking and Artificial Life
Volume-Issue
2 - 3
Pages
205 - 208
Publication Date
2015/12/01
ISSN (Online)
2352-6386
ISSN (Print)
2405-9021
DOI
10.2991/jrnal.2015.2.3.15How to use a DOI?
Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Tetsuro Katayama
AU  - Kenta Nishikawa
AU  - Yoshihiro Kita
AU  - Hisaaki Yamaba
AU  - Kentaro Aburada
AU  - Naonobu Okazaki
PY  - 2015
DA  - 2015/12/01
TI  - Prototype of a Decision Table Generation Tool from the Formal Specification
JO  - Journal of Robotics, Networking and Artificial Life
SP  - 205
EP  - 208
VL  - 2
IS  - 3
SN  - 2352-6386
UR  - https://doi.org/10.2991/jrnal.2015.2.3.15
DO  - 10.2991/jrnal.2015.2.3.15
ID  - Katayama2015
ER  -