To check message-calling sequence, use a logging object that appends to a string when a message is called.
One of the TestingPatterns in KentBeck's book TestDrivenDevelopment.