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.1
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 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/).