A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Prototype of a Decision Table Generation Tool from the Formal Specification
2015
Journal of Robotics, Networking and Artificial Life (JRNAL)
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.
doi:10.2991/jrnal.2015.2.3.15
fatcat:ls6lkemvjjb5zgluygqof7c3di