6.3. Model ValidationIt is typicall

6.3. Model Validation
It is typically necessary to validate the quality of the
models developed during analysis. For example, in object
models, it is useful to perform a static analysis to verify
that communication paths exist between objects which, in
the stakeholders’ domain, exchange data. If formal
specification notations are used, it is possible to use
formal reasoning to prove specification properties.

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

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

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

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

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

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

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