Conformance execution of non-deterministic specifications for components

An article comprising:

• a machine-readable medium comprising instructions to generate a CT enabled implementation of a software specification, the instructions, when executed by a computer system, resulting in:
• applying a software implementation and the software specification to produce the CT enabled implementation wherein nondeterministic choices of the software specification result in assigning a corresponding choice of the CT enabled implementation to a variable;
• and
• the CT enabled implementation comprising a test that the variable comprises one of the nondeterministic choices of the software specification.

An article comprising:

• a machine-readable medium comprising instructions to generate a CT enabled implementation of a software specification, the instructions, when executed by a computer system, resulting in:
• producing a software object organized such that each step of the software specification has a corresponding code section in the software object;
• and
• the software object comprising at least one instruction which, when executed by a computer system, causes an identification of a mandatory call comprised by the software specification to be stored in a memory of the computer system.

An apparatus comprising:

• a processor;
• and
• a machine-readable medium comprising instructions to generate a CT enabled implementation of a software specification, the instructions, when executed by the processor, resulting in:
• applying a software implementation and the software specification to produce the CT enabled implementation wherein nondeterministic choices of the software specification result in assigning a corresponding choice of the CT enabled implementation to a variable;
• and
• the CT enabled implementation comprising a test that the variable comprises one of the nondeterministic choices of the software specification.

An apparatus comprising:

• a processor;
• and
• a machine-readable medium comprising instructions to generate a CT enabled implementation of a software specification, the instructions, when executed by a computer system, resulting in:
• producing a software object organized such that each step of the software specification has a corresponding code section in the software object;
• the software object comprising at least one instruction which, when executed by a computer system, causes an identification of a mandatory call comprised by the software specification to be stored in a memory of the computer system;
• and
• the software object comprising at least one instruction which, when executed by the computer system, causes a test that the state of the CT enabled implementation conforms to the software specification during the mandatory call.