Issue No. 09 - September (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.92913
<p>Tools and techniques for writing scripts in Prolog that automatically test modules implemented in C are presented. Both the input generation and the test oracle problems are addressed, focusing on a balance between the adequacy of the test inputs and the cost of developing the output oracle. The authors investigate automated input generation according to functional testing, random testing, and a novel approach based on trace invariants. For each input generation scheme, a mechanism for generating the expected outputs has been developed. The methods are described and illustrated in detail. Script development and maintenance costs appear to be reasonable, and run-time performance appears to be acceptable.</p>
Prolog; C; input generation; test oracle problems; test inputs; output oracle; automated input generation; functional testing; random testing; trace invariants; maintenance costs; run-time performance; C language; logic programming; program testing; PROLOG
D. Hoffman and P. Strooper, "Automated Module Testing in Prolog," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 934-943, 1991.