Automated testcase generation for data abstraction

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.<
>