A rigorous approach for acceptance testing of object oriented systems is proposed. The approach combines use cases for requirements modeling and cause-effect graphing for the design of test cases. The formal characteristics of this approach guarantee a complete functional coverage not easily found in the state of the practice “adhoc manner” acceptance testing. This approach was applied in an object oriented application developed for the financial domain. The approach is independent of the implementation language.