A system and method are provided for testing successfulness of an operation having pre-conditions and post-conditions that must be satisfied for the operation to be successful. Two types of assertion classes are provided, where one of the of the assertion classes implements assertion-checking logic and...http://www.google.com.hk/patents/US6601192?utm_source=gb-gplus-share專利 US6601192 - Assertion component in environment services patterns
