The article describes my work on building a framework for the support of testing object-oriented software. Since the testing of object-oriented software is a fast growing area of computer science, it was a main goal to allow easy enhancement of the library with respect to new, evolving testing techniques. Hence the invariant elements of diverent testing techniques are reflected in base classes of the library, while the particularities shall be reflected in special strategy classes for the different testing techniques. Strategy classes are used for the structuring of the operational similiarities of the different object-oriented testing methods.

A strategy for automatic generation, execution and evaluation of test cases is described, which depends on assertions and finite state machines.

AADEBUG'95 Program

AADEBUG'95 home page