Patent ID: 7216338

Claim:
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.