The Community for Technology Leaders
Green Image
Issue No. 09 - September (1991 vol. 17)
ISSN: 0098-5589
pp: 934-943
<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.M. Hoffman, P. Strooper, "Automated Module Testing in Prolog", IEEE Transactions on Software Engineering, vol. 17, no. , pp. 934-943, September 1991, doi:10.1109/32.92913
84 ms
(Ver 3.3 (11022016))