Model validation is used to verify

Model validation is used to verify the
correctness of the system. Conceptual models can
be formally or informally validated, either by
statically analyzing the model or in the case of
formal specifications by applying formal
reasoning to prove the properties of the system. In
critical systems, it has been found that the activity
of formally modeling the system can in itself serve
to identify errors such as ambiguities and
conflicts, however the cost of creating formal
models can normally only be justified for high
assurance systems. .

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

ตรวจสอบแบบจำลองใช้ในการตรวจสอบการความถูกต้องของระบบ แบบจำลองแนวคิดสามารถสามารถอย่างเป็นกิจจะลักษณะ หรือบางตรวจสอบ อย่างใดอย่างหนึ่งโดยวิเคราะห์แบบฟิกแบบคง หรือในกรณีของข้อกำหนดที่เป็นทาง โดยใช้ทางเหตุผลเพื่อพิสูจน์คุณสมบัติของระบบ ในระบบที่สำคัญ มีการพบว่ากิจกรรมสร้างโมเดลอย่างเป็นกิจจะลักษณะ ระบบสามารถในตัวให้บริการการระบุข้อผิดพลาดเช่น ambiguities และความขัดแย้ง อย่างไรก็ตามต้นทุนของการสร้างทางรุ่นปกติสามารถเฉพาะ ได้รับการพิสูจน์ในสูงระบบการประกัน .

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

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

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

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

เหตุผลเพื่อพิสูจน์คุณสมบัติของระบบ ใน
ระบบสำคัญ พบว่ากิจกรรมของแบบจำลองระบบอย่างเป็นทางการ

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

.