仕様確認

SimpleModelingでは、verificationを「仕様確認」と訳し、コンポーネントやクラスなどの設計単位を対象に、ボトムアップで実装が設計仕様どおりであることを確認する。

動く仕様書を用いて、APIの使い方、前提条件、戻り値、エラー条件などを実行可能な形で固定し、仕様確認を行う。