DocumentCode :
1502555
Title :
Automated module testing in Prolog
Author :
Hoffman, Daniel M. ; Strooper, Paul
Author_Institution :
Dept. of Comput. Sci., Victoria Univ., BC, Canada
Volume :
17
Issue :
9
fYear :
1991
fDate :
9/1/1991 12:00:00 AM
Firstpage :
934
Lastpage :
943
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;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/32.92913
Filename :
92913
Link To Document :
بازگشت