The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1991 vol.17)
pp: 934-943
ABSTRACT
<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>
INDEX TERMS
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
CITATION
D.M. Hoffman, P. Strooper, "Automated Module Testing in Prolog", IEEE Transactions on Software Engineering, vol.17, no. 9, pp. 934-943, September 1991, doi:10.1109/32.92913
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool