วิธีการตรวจสอบและยืนยันแบบไม่เป็นทางการเป็นหนึ่งในวิธีการที่ใช้บ่อยที่สุดในการสร้างแบบจำลองและการจำลอง เรียกว่าไม่เป็นทางการเพราะมีลักษณะเชิงคุณภาพมากกว่าเชิงปริมาณ^{[ 1 ]} ในขณะที่วิธีการตรวจสอบหรือยืนยันหลายวิธีอาศัยผลลัพธ์เชิงตัวเลข วิธีการที่ไม่เป็นทางการมักจะอาศัยความคิดเห็นของผู้เชี่ยวชาญในการสรุปผล แม้ว่าผลลัพธ์เชิงตัวเลขจะไม่ใช่จุดสนใจหลัก แต่ก็ไม่ได้หมายความว่าผลลัพธ์เชิงตัวเลขจะถูกละเลยไปโดยสิ้นเชิง มีหลายเหตุผลที่อาจเลือกใช้วิธีการที่ไม่เป็นทางการ ในบางกรณี วิธีการที่ไม่เป็นทางการมีข้อดีคือสะดวกในการทดสอบอย่างรวดเร็วเพื่อดูว่าแบบจำลองสามารถตรวจสอบความถูกต้องได้หรือไม่ ในกรณีอื่นๆ วิธีการที่ไม่เป็นทางการเป็นเพียงตัวเลือกที่ดีที่สุดที่มีอยู่ วิธีการที่ไม่เป็นทางการไม่ได้มีประสิทธิภาพน้อยกว่าวิธีการที่เป็นทางการ และควรดำเนินการด้วยระเบียบวินัยและโครงสร้างเดียวกันกับที่คาดหวังได้ในวิธีการ "ที่เป็นทางการ" เมื่อดำเนินการอย่างถูกต้องแล้ว จะสามารถสรุปผลได้อย่างมั่นคง^{[ 2 ]}

ในการสร้างแบบจำลองและการจำลองสถานการณ์ เทคนิคการตรวจสอบจะถูกนำมาใช้เพื่อวิเคราะห์สถานะของแบบจำลอง การตรวจสอบจะดำเนินการด้วยวิธีการต่างๆ โดยมุ่งเน้นที่การเปรียบเทียบแง่มุมต่างๆ ของแบบจำลองที่ใช้งานได้จริงกับแบบจำลองเชิงแนวคิด ในทางกลับกัน วิธีการตรวจสอบความถูกต้องคือวิธีการที่ใช้เปรียบเทียบแบบจำลอง ไม่ว่าจะเป็นแบบจำลองเชิงแนวคิดหรือแบบจำลองที่ใช้งานได้จริง กับสถานการณ์ที่แบบจำลองนั้นพยายามจำลอง ทั้งสองวิธีนี้เป็นวิธีการที่สามารถใช้ในการวิเคราะห์แบบจำลองเพื่อช่วยค้นหาข้อบกพร่องในวิธีการสร้างแบบจำลองที่ใช้ หรือการแสดงภาพที่ไม่ถูกต้องของสถานการณ์ในชีวิตจริง

การตรวจสอบเป็นวิธีการตรวจสอบที่ใช้ในการเปรียบเทียบว่าแบบจำลองเชิงแนวคิดตรงกับแบบจำลองที่สามารถดำเนินการได้ถูกต้องเพียงใด ทีมผู้เชี่ยวชาญ นักพัฒนา และผู้ทดสอบจะสแกนเนื้อหา (อัลกอริทึม รหัสโปรแกรม เอกสาร สมการ) ในแบบจำลองเชิงแนวคิดดั้งเดิมอย่างละเอียดถี่ถ้วน และเปรียบเทียบกับส่วนที่เหมาะสมเพื่อตรวจสอบว่าแบบจำลองที่สามารถดำเนินการได้ตรงกันมากน้อยเพียงใด^{[ 1 ]} หนึ่งในวัตถุประสงค์หลักของวิธีการตรวจสอบนี้คือการดูว่าเป้าหมายดั้งเดิมใดถูกมองข้ามไปบ้าง การตรวจสอบแบบจำลองจะช่วยให้ทีมไม่เพียงแต่เห็นว่าปัญหาใดอาจถูกมองข้ามไป แต่ยังสามารถตรวจจับข้อบกพร่องที่อาจเกิดขึ้นซึ่งอาจกลายเป็นปัญหาในภายหลังของโครงการได้อีกด้วย^{[ 3 ]}

ขึ้นอยู่กับทรัพยากรที่มีอยู่ สมาชิกของทีมตรวจสอบอาจเป็นหรือไม่เป็นส่วนหนึ่งของทีมผลิตแบบจำลองก็ได้ โดยควรจะเป็นกลุ่มที่แยกจากกัน แต่เมื่อสมาชิกมาจากกลุ่มเดียวกัน อาจมองข้ามบางแง่มุมไปได้ เนื่องจากสมาชิกกลุ่มได้ใช้เวลาพิจารณาโครงการจากมุมมองการผลิตไปแล้ว การตรวจสอบยังมีความยืดหยุ่นมากกว่า โดยอาจเป็นการตรวจสอบแบบเฉพาะกิจหรือมีโครงสร้างที่ชัดเจน โดยสมาชิกของทีมตรวจสอบจะได้รับมอบหมายบทบาทเฉพาะ เช่น ผู้ดำเนินรายการ ผู้ตรวจสอบ และผู้บันทึก และมีขั้นตอนเฉพาะที่ใช้ในการตรวจสอบ เป้าหมายของผู้ตรวจสอบคือการค้นหาและบันทึกข้อบกพร่องระหว่างแบบจำลองเชิงแนวคิดและแบบจำลองที่สามารถดำเนินการได้^{[ 1 ] [ 4 ]}

ข้อดีประการหนึ่งของการตรวจสอบความถูกต้องของใบหน้าคือ สามารถใช้งานได้อย่างมีประสิทธิภาพในระหว่างการจำลองเสมือนจริงแบบเรียลไทม์ ซึ่งการโต้ตอบระหว่างผู้ใช้และการจำลองมีความสำคัญ การตรวจสอบความถูกต้องจะมีประสิทธิภาพในระหว่างการจำลองประเภทนี้ เนื่องจากแบบจำลองประเภทนี้ต้องการข้อมูลป้อนเข้าหรือการโต้ตอบจากผู้ใช้ วิธีที่ดีที่สุดในการตรวจสอบว่าแบบจำลองตรงตามเกณฑ์หรือไม่ คือการให้ผู้ใช้ที่เคยประสบกับสถานการณ์ในแบบจำลองในชีวิตจริงยืนยันว่าแบบจำลองแสดงถึงสถานการณ์ที่พวกเขาคุ้นเคยได้อย่างถูกต้อง ผู้ใช้ที่คุ้นเคยกับสถานการณ์จะสังเกตเห็นการแก้ไขที่จำเป็นซึ่งนักพัฒนาอาจไม่ทราบ การตรวจสอบความถูกต้องประเภทนี้มีประสิทธิภาพและเหมาะสมที่สุดสำหรับการจำลองเสมือนจริง และยังใช้ในการตรวจสอบความถูกต้องของแบบจำลองเมื่อมีกรอบเวลาสั้นสำหรับการทดสอบ หรือเมื่อยากที่จะสร้างผลลัพธ์เชิงปริมาณที่สามารถวิเคราะห์ได้ แม้ว่าผลลัพธ์เชิงปริมาณควรเป็นผลลัพธ์ที่ต้องการ แต่รายงานการตรวจสอบความถูกต้องที่เชื่อถือได้จากผู้เชี่ยวชาญก็เป็นที่ยอมรับเช่นกัน^{[ 1 ]}

การตรวจสอบใช้เพื่อตรวจสอบว่าแบบจำลองตรงกับแนวทางที่กำหนดไว้ได้ดีเพียงใด หาก มี การบันทึกการตรวจสอบไว้ ข้อผิดพลาดใดๆ ในแบบจำลองควรจะสามารถติดตามกลับไปยังแหล่งที่มาดั้งเดิมเพื่อค้นหาและแก้ไขได้ง่าย การตรวจสอบจะดำเนินการโดยการประชุมและติดตามเส้นทางการตรวจสอบเพื่อตรวจสอบปัญหา^{[ 5 ]}

การตรวจสอบแบบจำลอง (walkthrough) คือการประชุมที่กำหนดไว้ล่วงหน้ากับผู้เขียนที่รับผิดชอบแบบจำลองหรือเอกสารที่จะได้รับการตรวจสอบ นอกจากผู้เขียนแล้ว โดยปกติจะมีกลุ่มเจ้าหน้าที่ด้านเทคนิคอาวุโสและอาจมีเจ้าหน้าที่ฝ่ายธุรกิจที่ช่วยวิเคราะห์แบบจำลอง โดยทั่วไปจะมีผู้ดำเนินงานที่รับผิดชอบในการนำการประชุม ก่อนการประชุมอย่างเป็นทางการ ผู้เขียนจะตรวจสอบเอกสารหรือแบบจำลองเพื่อหาข้อผิดพลาดที่อาจเกิดขึ้น หลังจากนั้นจะส่งต่อไปยังผู้เข้าร่วมประชุมเพื่อให้พวกเขาตรวจสอบความไม่สอดคล้องกันอย่างละเอียดก่อนการประชุม ผู้เข้าร่วมประชุมจะรวบรวมคำถามหรือข้อกังวลใด ๆ โดยอิงจากความเชี่ยวชาญในสาขาของพวกเขารวมถึงความรู้เกี่ยวกับระบบ ในการประชุม ผู้เขียนจะนำเสนอเอกสารต่อผู้เข้าร่วมประชุมและอธิบายวิธีการและผลการค้นพบ ผู้ดำเนินงานมีหน้าที่รับผิดชอบในการนำเสนอคำถามจากผู้เข้าร่วมประชุมในเวลานี้ นอกจากการนำโครงสร้างของการประชุมแล้ว ผู้ดำเนินงานยังจดบันทึกประเด็นที่เหลืออยู่เพื่อนำมาวิเคราะห์ใหม่ในภายหลัง^{[ 3 ] [ 4 ]}

การตรวจสอบทบทวนคล้ายกับการเดินสำรวจหรือการตรวจสภาพ แต่ทีมตรวจสอบทบทวนจะรวมถึงฝ่ายบริหารด้วย การตรวจสอบทบทวนเป็นภาพรวมของกระบวนการสร้างแบบจำลองทั้งหมด รวมถึงการครอบคลุมแนวทางและข้อกำหนดต่างๆ โดยมีเป้าหมายเพื่อให้ฝ่ายบริหารมั่นใจว่าการพัฒนาแบบจำลองนั้นครอบคลุมวัตถุประสงค์เชิงแนวคิดทั้งหมด เนื่องจากจุดเน้นไม่ได้อยู่ที่การตรวจสอบทางเทคนิคเพียงอย่างเดียว จึงถือว่าเป็นวิธีการระดับสูง เช่นเดียวกับกระบวนการเดินสำรวจ การตรวจสอบทบทวนควรมีการส่งเอกสารก่อนการประชุม

ประเด็นสำคัญจะถูกเน้นผ่านตัวแทน V&V ปัญหาที่อาจเกิดขึ้นและข้อเสนอแนะจะถูกบันทึกไว้ในระหว่างการประชุมอันเป็นผลมาจากการตรวจสอบ จากผลลัพธ์เหล่านี้ จะมีการดำเนินการเพื่อแก้ไขประเด็นที่เกิดขึ้น จัดการข้อบกพร่อง และนำข้อเสนอแนะไปพิจารณา^{[ 4 ] [ 6 ]}

การตรวจสอบด้วยตนเองประกอบด้วยการที่ผู้เขียนตรวจสอบแบบจำลองอย่างละเอียดถี่ถ้วนเพื่อพยายามหาความไม่สอดคล้องกันใดๆ นี่เป็นเทคนิคเดียวที่ผู้เขียนแบบจำลองมีหน้าที่รับผิดชอบหลักในการตรวจสอบ ผู้เขียนอ่านเอกสารต้นฉบับ บันทึก และเป้าหมายทั้งหมดอย่างละเอียดถี่ถ้วน และพยายามตรวจสอบว่าผลิตภัณฑ์ที่เสร็จสมบูรณ์นั้นจำลองทุกสิ่งที่ตั้งใจจะทำได้อย่างถูกต้องและครบถ้วน นี่เป็นช่วงเวลาที่ควรตรวจจับและแก้ไขความไม่สมบูรณ์ใดๆ แม้ว่าความรับผิดชอบจะอยู่ที่ผู้เขียน แต่ก็ไม่ได้หมายความว่าความช่วยเหลือจากผู้อื่นจะถูกตัดออกไป การตรวจสอบด้วยตนเองเป็นวิธีการที่ไม่เป็นทางการน้อยที่สุดในบรรดาวิธีการที่ไม่เป็นทางการที่กล่าวถึง แต่โดยทั่วไปแล้วเป็นแนวทางแรกที่ดีในการตรวจจับข้อผิดพลาด และพยายามตรวจสอบและยืนยันแบบจำลอง^{[ 3 ] [ 7 ]}

การทดสอบทัวริงเป็นวิธีการตรวจสอบความถูกต้องแบบไม่เป็นทางการที่พัฒนาโดยนักคณิตศาสตร์ชาวอังกฤษอลัน ทัวริงในช่วงทศวรรษ 1950 ซึ่งโดยพื้นฐานแล้วเป็นรูปแบบเฉพาะของการตรวจสอบความถูกต้องแบบเห็นหน้า เนื่องจากมนุษย์สามารถมองได้ว่าเป็น "ผู้เชี่ยวชาญ" ในการวิเคราะห์ว่ามนุษย์คนอื่นจะตอบสนองอย่างไรในสถานการณ์ที่กำหนด โดยเฉพาะอย่างยิ่ง โมเดลนี้เหมาะสมที่สุดสำหรับการจำลองสถานการณ์ที่พยายามจำลองพฤติกรรมของมนุษย์ แทนที่จะพยายามใช้การคำนวณอย่างหนักเพื่ออธิบายปัจจัยที่ส่งผลต่อการตัดสินใจของมนุษย์และความแปรปรวนสูงระหว่างบุคคลต่างๆ วิธีการตรวจสอบความถูกต้องนี้มุ่งเน้นไปที่ว่าโมเดลปรากฏต่อมนุษย์คนอื่นๆ อย่างไร ซึ่งไม่ทราบว่าข้อมูลเอาต์พุตมาจากแหล่งใด - มนุษย์คนอื่นๆ หรือโมเดล การทดสอบทัวริงขึ้นอยู่กับการเปรียบเทียบว่าเอาต์พุตตรงกับเอาต์พุตที่คาดหวังสำหรับพฤติกรรมของมนุษย์ในสถานการณ์ที่กำลังจำลองหรือไม่ ในอัตราที่มากกว่าโอกาส^{[ 1 ]}

"เมื่อนำไปใช้กับการตรวจสอบความถูกต้องของแบบจำลองพฤติกรรมมนุษย์ แบบจำลองจะผ่านการทดสอบทัวริงและถือว่าถูกต้องหากผู้สังเกตการณ์ผู้เชี่ยวชาญไม่สามารถแยกแยะความแตกต่างระหว่างพฤติกรรมที่สร้างโดยแบบจำลองและพฤติกรรมที่สร้างโดยมนุษย์ได้อย่างน่าเชื่อถือ เนื่องจากลักษณะเฉพาะของพฤติกรรมที่สร้างโดยระบบที่ได้รับการประเมินคือระดับที่ไม่สามารถแยกแยะความแตกต่างจากพฤติกรรมที่สร้างโดยมนุษย์ได้ การทดสอบนี้จึงมีความเกี่ยวข้องโดยตรงกับการประเมินความสมจริงของพฤติกรรมที่สร้างโดยอัลกอริทึม บางทีอาจจะมากกว่าความฉลาดอย่างที่ทัวริงเสนอไว้แต่เดิมด้วยซ้ำ" ^{[ 1 ]}