テスト

Testとは、指定した条件で対象を実行または評価し、観測した結果を期待する結果やConstraintと比較して、要求または契約への適合を確認する活動とその仕様です。

SimpleModelingでは、Use Case、Capability、Object、Operation、Invariant、Precondition、PostconditionのIDをTestへ引き継ぎ、Modelの意味と実行結果を追跡します。Testの成功だけでDomain Modelの業務的妥当性が自動的に保証されるとは扱いません。