Title :
Automated module testing in Prolog
Author :
Hoffman, Daniel M. ; Strooper, Paul
Author_Institution :
Dept. of Comput. Sci., Victoria Univ., BC, Canada
fDate :
9/1/1991 12:00:00 AM
Abstract :
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
Keywords :
C language; PROLOG; logic programming; program testing; C; Prolog; automated input generation; functional testing; input generation; maintenance costs; output oracle; random testing; run-time performance; test inputs; test oracle problems; trace invariants; Automatic testing; Automation; Costs; Design for testability; Power generation economics; Production systems; Runtime; Sequential analysis; System testing; Writing;
Journal_Title :
Software Engineering, IEEE Transactions on