Test

A Test is an activity and specification that executes or evaluates a subject under stated conditions and compares observed results with expected results or Constraints to check conformance to requirements or contracts.

SimpleModeling carries IDs from Use Cases, Capabilities, Objects, Operations, Invariants, Preconditions, and Postconditions into Tests to trace Model meaning to execution results. Passing Tests alone is not treated as an automatic guarantee of the business validity of a Domain Model.