| Based on formal specification, this paper proposes a dynamic approach for object-oriented testing at cluster level. A testing tool is constructed by embedding the approach into the interpreter of the program under test. A prototype for the testing tool is designed and implemented by using object-oriented paradigm. |