Journal of Robotics, Networking and Artificial Life

Volume 1, Issue 3, December 2014, Pages 174 - 178

Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification

Authors
Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
Corresponding Author
Tetsuro Katayama
Available Online 15 December 2014.
DOI
https://doi.org/10.2991/jrnal.2014.1.3.1How to use a DOI?
Keywords
formal method, VDM++, test design, decision table, automatic generation
Abstract

In recent years, the software quality becomes more important because the system becomes large scale and high performance. In general, many defects are embedded in the upstream process of the software development. As one reason of the above, specifications include ambiguous description. As a means for writing specifications strictly, formal methods are proposed. By the way, as one of test design techniques, the decision table is proposed. However, it takes much time and effort to extract test items and understand contents written on specifications in designing manually the decision table. This paper proposes a supporting method to generate a decision table from the formal specification in order to improve efficiency of the test design with formal methods. We have implemented a supporting tool to generate a decision table. It automatically generates a skeleton decision table from the formal specification. By using the tool, it is considered that the efficiency of the test design is improved.

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
1 - 3
Pages
174 - 178
Publication Date
2014/12/15
ISSN (Online)
2352-6386
ISSN (Print)
2405-9021
DOI
https://doi.org/10.2991/jrnal.2014.1.3.1How 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  - Naonobu Okazaki
PY  - 2014
DA  - 2014/12/15
TI  - Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification
JO  - Journal of Robotics, Networking and Artificial Life
SP  - 174
EP  - 178
VL  - 1
IS  - 3
SN  - 2352-6386
UR  - https://doi.org/10.2991/jrnal.2014.1.3.1
DO  - https://doi.org/10.2991/jrnal.2014.1.3.1
ID  - Katayama2014
ER  -