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
.
Application of PROLOG to test sets generation from algebraic specifications
[chapter]
1985
Lecture Notes in Computer Science
A B~C T We present a method and a tool for generating test sets from algebraic data type specifications. We give formal definitions of the basic concepts required in our approach of functional testing. Then we discuss the problem of testing algebraic data types implementations. This allows the introduction of additional hypotheses and thus the description of an effective method for generating test sets. The method can be improved by using PROLOG. Indeed, it turns out that PROLOG is a very well
doi:10.1007/3-540-15199-0_17
fatcat:gfjrc3kcijccpimohvlog5xgn4