×

Conformance execution of non-deterministic specifications for components

  • US 7,216,338 B2
  • Filed: 02/20/2002
  • Issued: 05/08/2007
  • Est. Priority Date: 02/20/2002
  • Status: Expired due to Fees
First Claim
Patent Images

1. A computer-implemented method of conformance-testing a software implementation with a software specification which defines proper behavior of the implementation, the method comprising:

  • applying software implementation source code and at least a portion of the software specification to produce a conformance-test enabled implementation comprising portions of the software implementation and portions of the software specification integrated into a same body of code wherein nondeterministic choices of the software specification result in assigning a corresponding choice of the conformance-test enabled implementation to a variable, wherein at least one procedure comprises at least one portion of the software implementation and at least one portion of the software specification, and the conformance-test enabled implementation comprising a test that the variable comprises one of the nondeterministic choices of the software specification;

    compiling the software implementation source code from a first high-level language into an intermediate language;

    compiling the software specification from a second high-level language into the intermediate language; and

    producing the conformance-test enabled implementation in the intermediate language.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×