Patent ID: 7243090

Claim:
A computer program on a computer readable storage medium for specification compatibility tracking for a software product, comprising: a code segment that associates testable assertions with statements within an input specification; a code segment that associates a context with each of the testable assertions, wherein the input specification has a multi-level tree structure having a plurality of nodes, each of the statements being contained by one of the nodes, wherein the context for each of the testable assertions is defined as the node containing the statement associated with the testable assertion; a code segment that binds each of the testable assertions to one of a plurality of tests that test the testable assertion, each one of the tests being a computer program testing an implementation of the software product to determine whether the software product compiles with the portion of the input specification that corresponds with the testable assertion bound to the one of the tests; a code segment that identifies each testable assertion as tested, non-tested, or invalid; and a code segment for presenting information on coverage of the input specification by tests.