シミュレーションモデルの正当性の検証

【しみゅれーしょんもでるのせいとうせいのけんしょう (simulation model verification)】

数学モデル, 特にコンピュータシミュレーションモデルに対する正当性の検証は, 計算手続き(プログラミング)がデバック済みでエラーがなく, 計算やソフトウェアによって表現されるモデルが, 作成者の意図どおりであることを検証・確認する過程である. 妥当性の検証がモデルと現実との整合性をチェックするのに対して, 正当性の検証ではモデルの計算手続きに誤りがないことを確認する.

詳しくは基礎編：シミュレーションモデルの検証を参照.