Title :
Automated testcase generation for data abstraction
Author :
Jalote, Pankaj ; Caballero, Mallaku G.
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
Abstract :
The authors present a simple strategy for generating testcases for implementations of abstract data types, based on syntactic information about the operations on the type. The developed tool has been used on a number of different types including stacks, strings, etc. It is found that choosing depth 2 for generating the testcases results in an effective set of testcases for detecting errors and can provide 100% statement coverage if proper initial values are selected. There are no rules for selecting the initial values
Keywords :
automatic programming; data structures; program testing; software tools; abstract data types; automated testcase generation; data abstraction; error detection; software testing; stacks; statement coverage; strings; syntactic information; Automatic testing; Computer science; Costs; Educational institutions; Error correction; Packaging; Performance evaluation; Programming; Software testing; Software tools;
Conference_Titel :
Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-0873-0
DOI :
10.1109/CMPSAC.1988.17174
