動く仕様書

Executable Specification(動く仕様書)とは、実行可能な形で記述され、実行することで仕様の正否や意味が確定する仕様表現である。

SimpleModelingでは、executable specificationを「動く仕様書」と呼び、人間とAIが共有する生きた仕様として扱う。

動く仕様書は単なるテストではなく、仕様の境界や判断基準を実行可能な形で明示する成果物である。

動く仕様書は、仕様確認(verification)と妥当性確認(validation)の双方を支え、分析モデル・設計仕様・実装を往復する三位一体の開発スタイルの中核を成す。