仕様確認

Verification(仕様確認)とは、規定された設計仕様や要求仕様に対して、実装が一致しているかを確認する行為である。

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

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