Abstract
Many different testing techniques have been proposed by researchers, but essentially only two main testing philosophies exist, black box and white box. There exists a number of different testing methods for structural testing of procedural languages, however, the features of object-oriented languages are not addressed by such techniques. This dissertation explores a new structural testing technique for object-oriented systems by developing a testing methodology based on object manipulations and driven by the context of the program under test.