Prolog testing of C modules
Paul A. Strooper, Daniel Hoffman · 1991
Despite the advantages of Prolog as a specification and prototyping language, the use of Prolog for testing has received only modest attention to date. We have found Prolog to be a powerful tool for automated module testing. We use Prolog to build test drivers, define the test inputs, and develop test oracles that check the behavior of the implementations. We describe Protest, an automated system for testing modules implemented in C or Prolog. We have experimented with a variety of testing techniques: functional testing, random testing, and, a new technique, testgraphs. We make use of specifications in logic, which can be executed as Prolog programs to verify the behavior of the implementations.