The testing fOr Object-Oriened software contains fOur levels: a1gorithmiclevel, class level, cluster level, and system level. This paPer describes the design andimPlemereation of a prototrpe generating non-equiva1ellt terms as test cases fOrobject-oriellted software at the class 1evel .It includes the consttuction of state-tfansition diagram, the search of path, the generation of non-equiva1ellt terms. Thedecision of their execution results is also exPlained.
|