The quality of software has become one of the most important factor in determining the success of products or enterprises. In order to accomplish a quality software product, several methodologies, techniques, and frameworks have been developed, each one developed and tailored to specific areas or characteristics of the software under review. This paper presents a white-box testing framework for Object-Oriented Programming based on Message Sequence Specification and Aspect Oriented Programming. In the context of an Object-Oriented program, our framework can be used to test the correct order in which the methods of a class are invoked.