Testgraph methodology: automated testing of collection classes

Contrary to the explosion of activity in O-O design and programming, little attention has been given to testing. This article discusses how testgraphs provide an intuitively appealing method for defining and automatically executing test cases. In the testgraph methodology, the test programmer performs three tests. The first is to define the nodes and arcs of the testgraph. Second, executable oracles provide the basis for both output checking and input generation. Third, the driver class loads the testgraph and provides calls that implement the state transitions and the checking of the class-under-test (CUT) behaviour of each state