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. Hoffman and P. Strooper, "Automated Module Testing in Prolog," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 934-943, 1991.
90 ms
(Ver 3.3 (11022016))