×

Method and system for testing behavior of procedures

  • US 6,698,012 B1
  • Filed: 09/15/2000
  • Issued: 02/24/2004
  • Est. Priority Date: 09/17/1999
  • Status: Expired due to Fees
First Claim
Patent Images

1. A method for testing procedures, the method comprising the steps ofseparating parallel procedures from consecutive procedures which have no parallelism;

  • defining a group of parallel procedures to be tested in a parallel mode;

    specifying behaviour of the group of procedures in the parallel mode by determining if the behaviour of the group of procedures is independent from parallel calls by another process;

    testing the group of procedures in the parallel mode separately from the consecutive procedures, based on the specified behaviour; and

    testing the group of procedures by calling oracles consecutively in an arbitrary order when the behaviour of the group of procedures is independent.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×