Assertion component in environment services patterns

• US 6,601,192 B1
• Filed: 08/31/1999
• Issued: 07/29/2003
• Est. Priority Date: 08/31/1999
• Status: Expired due to Term

• Current Assignee: Accenture Global Services Limited (Accenture PLC)
• Original Assignee: Accenture LLP (Accenture PLC)
• Inventors: Bowman-Amuah, Michel K.
• Primary Examiner(s): Beausoliel, Robert
• Assistant Examiner(s): Bonzo, Bryce P.
• Application Number:
  US09/388,021
• Time in Patent Office: 1,428 Days
• Field of Search: 714/24, 714/37, 714/38, 714/47, 717/101, 717/127
• US Class Current: 714/38.12
• CPC Class Codes: G06F 11/3466 Performance evaluation by tracing or monitoring
• CPC Class Codes: G06F 11/3688 for test execution, e.g. scheduling of test suites
• CPC Class Codes: G06F 11/3692 for test results analysis
• CPC Class Codes: H04L 43/50 Testing arrangements
• CPC Class Codes: H04L 67/01 Protocols
• CPC Class Codes: H04L 67/02 based on web technology, e.g. hypertext transfer protocol [HTTP]
• CPC Class Codes: H04L 67/06 specially adapted for file transfer, e.g. file transfer protocol [FTP]
• CPC Class Codes: H04L 67/08 specially adapted for terminal emulation, e.g. Telnet
• CPC Class Codes: H04L 67/1034 Reaction to server failures by a load balancer
• CPC Class Codes: H04L 9/40 Network security protocols

Abstract

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.

Claims

1. A method for testing successfulness of an operation having pre-conditions and post-conditions that must be satisfied for an operation to be successful, comprising the steps of:

(a) providing two types of assertion classes, wherein one of the assertion classes implements assertion-checking logic and the other assertion class implements only null operations, wherein one of the assertion classes is selected to be raised;

(b) raising a first assertion asserting a pre-condition that must evaluate to true if the operation is successful;

(c) executing the operation;

(d) raising a second assertion asserting a post-condition that must evaluate to true if the operation is successful; and

(e) outputting an error message upon failure of at least one of the assertions, where the at least one assertion implements assertion-checking logic.

2. A method as recited in claim 1, further comprising the step of providing an error handler for detecting a failure of the assertion of one of the conditions and shutting down a system running the operation upon the detection of the failure.

3. A method as recited in claim 1, wherein each assertion is raised with descriptions for helping to identify where the assertion failed.

4. A method as recited in claim 1, wherein each assertion is raised with parameters for helping to identify why the assertion failed.

5. A method as recited in claim 1, further comprising the step of raising an assertion at the beginning and end of every operation of a plurality of operations, wherein a check is performed prior to raising the assertions for determining the propriety of raising the assertions.

6. A computer program embodied on a computer readable medium for testing successfulness of an operation having pre-conditions and post-conditions that must be satisfied for the operation to be successful, comprising:

(a) a code segment that provides two types of assertion classes, wherein one of the assertion classes implements assertion-checking logic and the other assertion class implements only null operations, wherein one of the assertion classes is selected to be raised;

(b) a code segment that raises a first assertion asserting a pre-condition that must evaluate to true if the operation is successful;

(c) a code segment that executes the operation;

(d) a code segment that raises a second assertion asserting a post-condition that must evaluate to true if the operation is successful; and

(e) a code segment that outputs an error message upon failure of at least one of the assertions, where the at least one assertion implements assertion-checking logic.

7. A computer program as recited in claim 6, further comprising a code segment that provides an error handler for detecting a failure of the assertion of one of the conditions and shutting down a system running the operation upon the detection of the failure.

8. A computer program as recited in claim 6, wherein each assertion is raised with descriptions for helping to identify where the assertion failed.

9. A computer program as recited in claim 6, wherein each assertion is raised with parameters for helping to identify why the assertion failed.

10. A computer program as recited in claim 6, further comprising a code segment that raises an assertion at the beginning and end of every operation of a plurality of operations, wherein a check is performed prior to raising the assertions for determining the propriety of raising the assertions.

11. A system for testing successfulness of an operation having pre-conditions and post-conditions that must be satisfied for the operation to be successful, comprising:

(a) logic that provides two types of assertion classes, wherein one of the assertion classes implements assertion-checking logic and the other assertion class implements only null operations, wherein one of the assertion classes is selected to be raised;

(b) logic that raises a first assertion asserting a pre-condition that must evaluate to true if the operation is successful;

(c) logic that executes the operation;

(d) logic that raises a second assertion asserting a post-condition that must evaluate to true if the operation is successful; and

(e) logic that outputs an error message upon failure of at least one of the assertions, where the at least one assertion implements assertion-checking logic.

12. A system as recited in claim 11, further comprising logic that provides an error handler for detecting a failure of the assertion of one of the conditions and shutting down a system running the operation upon the detection of the failure.

13. A system as recited in claim 11, wherein each assertion is raised with descriptions for helping to identify where the assertion failed.

14. A system as recited in claim 11, wherein each assertion is raised with parameters for helping to identify why the assertion failed.

15. A system as recited in claim 11, further comprising logic that raises an assertion at the beginning and end of every operation of a plurality of operations, wherein a check is performed prior to raising the assertions for determining the propriety of raising the assertions.