초록 ▼

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

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 the other assertion class implements only null operations, and one of the assertion classes is selected to be raised. A first assertion is raised asserting a pre-condition that must evaluate to true if the operation is successful. The operation is then executed. A second assertion is raised asserting a post-condition that must evaluate to true if the operation is successful. An error message is outputted upon failure of at least one of the assertions, where the failed assertion implements assertion-checking logic.

대표청구항 ▼

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

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 the other assertion class implements only null operations, and one of the assertion classes is selected to be raised. A first assertion is raised asserting a pre-condition that must evaluate to true if the operation is successful. The operation is then executed. A second assertion is raised asserting a post-condition that must evaluate to true if the operation is successful. An error message is outputted upon failure of at least one of the assertions, where the failed assertion implements assertion-checking logic. okie. 15. The method of claim 1, where in step g), said first server additionally assigns the value TRUE to the secure flag field of said cookie; and the sending and receiving of said cookie between said first server and said remote computer are over a secure connection. 16. The method of claim 1, said method further comprising the steps of: t) sending by said remote computer said cookie over the Internet to a second server, wherein said second server is within the domain set of said domain value of said cookie; u) receiving by said second server said cookie from the Internet, wherein said second server extracts said encrypted private data from said cookie and stores said encrypted private data in said second server memory; v) sending by said user said user key over the Internet to said second server; w) receiving said user key from the Internet by said second server, said second server storing said user key in said second server memory; x) recrea