「シミュレーションモデルの正当性の検証」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
(新しいページ: ''''【しみゅれーしょんもでるのせいとうせいのけんしょう (simulation model verification)】''' 数学モデル, 特にコンピュータシミュレー...')
 
("シミュレーションモデルの正当性の検証" を保護しました。 [edit=sysop:move=sysop])
(相違点なし)

2007年7月20日 (金) 11:10時点における版

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

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