Model verification and validation (

Model verification and validation (V&V) is one of the most important activities in simulation modelling. Model validation is especially challenging for Agent-Based Simulation (ABS). Techniques that can help to improve V&V in simulation modelling are needed. This paper proposes a V&V technique called Test Driven Simulation Modelling (TDSM) which applies techniques from Test-Driven Development in software engineering to simulation modelling. The main principle in TDSM is that a unit test for a simulation model has to be specified before the simulation model is implemented. Hence, TDSM explicitly embeds V&V in simulation modelling. We use a case study in maritime search operations to demonstrate how TDSM can be used in practice. Maritime search operations (and search operations in general) are one of the classic applications of Operational Research (OR). Hence, we can use analytical models from the vast search theory literature for unit tests in TDSM. The results show that TDSM is a useful technique in the verification and validation of simulation models, especially ABS models. This paper also shows that ABS can offer an alternative modelling approach in the analysis of maritime search operations. (C) 2016 Elsevier B.V. All rights reserved.

ผลลัพธ์ (ไทย) 1:

แบบการตรวจสอบและการตรวจสอบ (V & V) เป็นหนึ่งในกิจกรรมที่สำคัญที่สุดในการสร้างโมเดลจำลอง ตรวจสอบรุ่นท้าทายอย่างยิ่งสำหรับตัวแทนการจำลองสถานการณ์ (ABS) มีความจำเป็นเทคนิคที่สามารถช่วยปรับปรุง V & V ในการสร้างโมเดลจำลอง กระดาษนี้เสนอ V & V เทคนิคเรียกว่าทดสอบขับเคลื่อนการจำลองแบบจำลอง (TDSM) ซึ่งใช้เทคนิคจากทดสอบ Driven พัฒนาวิศวกรรมซอฟต์แวร์กับการสร้างโมเดลจำลอง หลักการสำคัญใน TDSM เป็นที่ระบุก่อนที่จะดำเนินการแบบจำลองการทดสอบหน่วยสำหรับแบบจำลอง ด้วยเหตุนี้ TDSM อย่างชัดเจนฝัง V & V ในการสร้างโมเดลจำลอง เราใช้กรณีศึกษาในการเดินเรือเพื่อสาธิตการใช้ TDSM ในการปฏิบัติ ค้นหาทางทะเลดำเนินการ (และการดำเนินการค้นหาทั่วไป) เป็นหนึ่งในโปรแกรมที่คลาสสิกของปฏิบัติงานวิจัย (OR) ดังนั้น เราสามารถใช้แบบจำลองการวิเคราะห์จากทฤษฎีวรรณกรรมมากมายค้นหาสำหรับการทดสอบหน่วยใน TDSM ผลแสดงว่า TDSM เป็นเทคนิคที่มีประโยชน์ในการตรวจสอบและตรวจสอบโมเดลจำลอง โดยเฉพาะอย่างยิ่งรุ่น ABS บทความนี้ยังแสดงว่า ABS สามารถเสนอทางเลือกการสร้างแบบจำลองวิธีการในการวิเคราะห์ของการเดินเรือ (ค) 2016 Elsevier b.v สงวนลิขสิทธิ์

ผลลัพธ์ (ไทย) 2:

ตรวจสอบรุ่นและการตรวจสอบ (V & V) เป็นหนึ่งในกิจกรรมที่สำคัญที่สุดในการสร้างแบบจำลองสถานการณ์ การตรวจสอบรูปแบบเป็นสิ่งที่ท้าทายอย่างยิ่งสำหรับตัวแทนตามจำลอง (ABS) เทคนิคที่สามารถช่วยในการปรับปรุง V & V ในการสร้างแบบจำลองการจำลองที่มีความจำเป็น บทความนี้นำเสนอ V & V เทคนิคที่เรียกว่าการทดสอบขับเคลื่อนการจำลองการสร้างแบบจำลอง (TDSM) ซึ่งใช้เทคนิคจากทดสอบขับเคลื่อนการพัฒนาในด้านวิศวกรรมซอฟต์แวร์เพื่อสร้างแบบจำลองสถานการณ์ หลักการสำคัญใน TDSM คือการทดสอบหน่วยสำหรับแบบจำลองจะต้องมีการระบุไว้ก่อนแบบจำลองจะดำเนินการ ดังนั้น TDSM อย่างชัดเจนฝัง V & V ในการสร้างแบบจำลองการจำลอง เราใช้กรณีศึกษาในการดำเนินการค้นหาทางทะเลที่จะแสดงให้เห็นว่า TDSM สามารถนำมาใช้ในทางปฏิบัติ ดำเนินการค้นหาทางทะเล (และดำเนินการค้นหาทั่วไป) เป็นส่วนหนึ่งของการใช้งานคลาสสิกของการวิจัยเชิงปฏิบัติการ (OR) ดังนั้นเราจึงสามารถใช้แบบจำลองการวิเคราะห์จากวรรณกรรมทฤษฎีการค้นหามากมายสำหรับการทดสอบหน่วยใน TDSM ผลปรากฏว่า TDSM เป็นเทคนิคที่มีประโยชน์ในการตรวจสอบและการตรวจสอบของแบบจำลองโดยเฉพาะอย่างยิ่ง ABS รุ่น บทความนี้ยังแสดงให้เห็นว่า ABS สามารถนำเสนอวิธีการสร้างแบบจำลองทางเลือกในการวิเคราะห์ดำเนินการค้นหาทางทะเล (C) 2016 Elsevier BV สงวนลิขสิทธิ์