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

Journal of Robotics, Networking and Artificial Life (JRNAL)

关键词: formal method;    VDM++;    test design;    decision table;    automatic generation;   

DOI  :  10.2991/jrnal.2014.1.3.1

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown