Probe: A Formal Specification-based Testing System
Ahmed Al-Amayreh, Abdullah Mohd Zın · Journal of the Association for Information Systems · 1999
The aim of software verification is determining how well the software conforms to its specification. Testing is the most popular method of software verification. For software testing to be done effectively, there is a need to select proper test cases such that all aspects of the software can be tested. This paper describes a new approach for specification-based testing. The formal specification of the software is used as the basis for generating test cases. Instead of generating test cases directly from the formal specification, they are generated from an executable PROLOG specification, which is translated from the formal specifications of the software under test. An automatic testing system called PROBE has been developed based on the new approach.