計(jì)算機(jī)仿真模型的驗(yàn)證和確認(rèn)是在仿真模型的開發(fā)過程中進(jìn)行的，最終目的是產(chǎn)生一個(gè)準(zhǔn)確和可信的模型。仿真模型正被越來越多地用于解決問題和幫助決策。這些模型的開發(fā)者和使用者，使用從這些模型結(jié)果中獲得的信息的決策者，以及受到基于這些模型的決策影響的個(gè)人，都有理由關(guān)注一個(gè)模型及其結(jié)果是否正確。這種關(guān)注是通過對(duì)仿真模型的驗(yàn)證和確認(rèn)來解決的。仿真模型是對(duì)現(xiàn)實(shí)世界系統(tǒng)的近似模仿，它們從來沒有完全模仿過現(xiàn)實(shí)世界的系統(tǒng)。因此，一個(gè)模型應(yīng)該在模型的預(yù)期目的或應(yīng)用所需的程度上進(jìn)行驗(yàn)證和確認(rèn)。仿真模型的驗(yàn)證和確認(rèn)是在功能規(guī)格被記錄下來和初始模型開發(fā)完成后開始的。驗(yàn)證和確認(rèn)是一個(gè)反復(fù)的過程，在模型開發(fā)的整個(gè)過程中進(jìn)行。

在計(jì)算機(jī)仿真的背景下，模型的驗(yàn)證是確認(rèn)其在概念模型方面正確實(shí)施的過程（它與被認(rèn)為可接受的特定應(yīng)用目的的規(guī)格和假設(shè)相匹配）。在驗(yàn)證過程中，模型被測試以發(fā)現(xiàn)和修復(fù)模型實(shí)施中的錯(cuò)誤。各種過程和技術(shù)被用來確保模型與模型概念方面的規(guī)格和假設(shè)相匹配。模型驗(yàn)證的目的是確保模型的實(shí)施是正確的。有許多技術(shù)可以用來驗(yàn)證模型，包括但不限于讓專家檢查模型，制作邏輯流程圖，包括每個(gè)邏輯上可能的動(dòng)作，檢查模型輸出在各種輸入?yún)?shù)設(shè)置下的合理性，以及使用交互式調(diào)試器。許多用于軟件驗(yàn)證的軟件工程技術(shù)也適用于仿真模型驗(yàn)證。

驗(yàn)證檢查模型對(duì)真實(shí)系統(tǒng)的表述是否準(zhǔn)確。模型驗(yàn)證的定義是指證實(shí)計(jì)算機(jī)模型在其適用范圍內(nèi)擁有與模型的預(yù)期應(yīng)用相一致的令人滿意的精度范圍。一個(gè)模型應(yīng)該為一個(gè)特定的目的或一組目標(biāo)而建立，并為該目的確定其有效性。有許多方法可以用來驗(yàn)證一個(gè)計(jì)算機(jī)模型。這些方法包括從主觀審查到客觀統(tǒng)計(jì)測試。一種常用的方法是讓模型建立者通過一系列的測試來確定模型的有效性。Naylor和Finger[1967]制定了一個(gè)模型驗(yàn)證的三步方法，并被廣泛采用。第一步。建立一個(gè)具有較高表面效度的模型。第2步。驗(yàn)證模型的假設(shè)。第3步。將模型的輸入-輸出轉(zhuǎn)換與真實(shí)系統(tǒng)的相應(yīng)輸入-輸出轉(zhuǎn)換進(jìn)行比較。

一個(gè)具有面子有效性的模型對(duì)于了解真實(shí)世界系統(tǒng)的人來說，似乎是對(duì)真實(shí)世界系統(tǒng)的合理模仿。通過讓用戶和熟悉系統(tǒng)的人檢查模型輸出的合理性，并在此過程中發(fā)現(xiàn)不足之處，來檢驗(yàn)面子有效性。讓用戶參與驗(yàn)證的另一個(gè)好處是，模型對(duì)用戶的可信度和用戶對(duì)模型的信心會(huì)增加。對(duì)模型輸入的敏感度也可以用來判斷表面有效性。例如，如果一個(gè)快餐店直通車的模擬在顧客到達(dá)率為每小時(shí)20人和40人的情況下運(yùn)行兩次，那么模型的輸出結(jié)果，如平均等待時(shí)間或等待的最大顧客人數(shù)，預(yù)計(jì)將隨著到達(dá)率的增加而增加。

對(duì)系統(tǒng)如何運(yùn)行以及系統(tǒng)的物理排列方式所做的假設(shè)是結(jié)構(gòu)性假設(shè)。例如，在快餐店的車道上有多少臺(tái)服務(wù)器，如果有多于一臺(tái)的服務(wù)器，它們是如何利用的？服務(wù)器是否平行工作，顧客通過訪問一個(gè)服務(wù)器完成交易，或者一個(gè)服務(wù)器接受訂單并處理付款，而另一個(gè)服務(wù)器準(zhǔn)備并提供訂單。模型中的許多結(jié)構(gòu)性問題來自于不良或不正確的假設(shè)。如果可能的話，應(yīng)該密切觀察實(shí)際系統(tǒng)的工作情況。

關(guān)于模型的假設(shè)一般分為兩類：關(guān)于系統(tǒng)如何工作的結(jié)構(gòu)假設(shè)和數(shù)據(jù)假設(shè)。此外，我們還可以考慮簡化假設(shè)，即那些我們用來簡化現(xiàn)實(shí)的假設(shè)。