Patent ID: 8448130

Claim:
A non-transitory tangible computer-readable medium comprising executable instructions that when executed document a functional code for a first target device, the medium comprising: instructions for generating code for the first target device, where: the generated code is a non-graphical code that includes: an assertion that is related to an assumption, and the functional code, the functional code performing an operation on behalf of the first target device when the generated code is executed thereon; instructions for documenting the generated code, where: the documenting includes producing an executable document during the generating of the non-graphical code, the executable document includes the assertion, the executable document captures executable diagnostic information, the executable diagnostic information allows a determination to be made with respect to the first target device or with respect to a second target device, and the determination allows the assumption to be mapped to the assertion included in the executable document; and instructions for storing the generated code, the storing maintaining the functional code.