Possibly the most important set of

Possibly the most important set of artifacts to validate
Detailed enough to find significant errors
More abstract and more compact than code; easier to understand and manipulate
•Static Approaches
Design reviews (driven by specifications, use cases)
Model checking
•Dynamic Approaches
Design walk-throughs (hand simulation)
Executable models (especially for FSM components)
Note that UML Sequence Diagrams, Activity Diagrams, and State Machine Diagrams lend themselves to dynamic approaches
12

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

สิ่งประดิษฐ์เพื่อตรวจสอบในชุดที่อาจจะสำคัญที่สุดDetailed พอพบข้อผิดพลาดที่สำคัญMore นามธรรม และกระชับกว่ารหัส ง่ายต่อการเข้าใจ และจัดการวิธี •Staticความคิดเห็น Design (ขับเคลื่อน ด้วยข้อมูลจำเพาะ กรณีที่ใช้)ตรวจสอบ Modelวิธี •Dynamicแต่ละขั้นตอน Design (มือจำลอง)รุ่น Executable (โดยเฉพาะอย่างยิ่งสำหรับองค์ประกอบแบ่งเป็นสองพวก)หมายเหตุว่า UML ไดอะแกรมลำดับ ไดอะแกรมกิจกรรม และ ไดอะแกรมเครื่องสถานะตัวเองให้ยืมแบบไดนามิกวิธี12

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

อาจจะเป็นชุดที่สำคัญที่สุดของสิ่งประดิษฐ์ในการตรวจสอบ
Detailedพอที่จะหาข้อผิดพลาดอย่างมีนัยสำคัญ
Moreนามธรรมและขนาดกะทัดรัดกว่ารหัส; ง่ายต่อการเข้าใจและจัดการ
•คงแนวทาง
ความคิดเห็นDesign (ขับเคลื่อนโดยรายละเอียดกรณีการใช้งาน)
Modelตรวจสอบ
• Dynamic แนวทาง
Designเดินผ่าน (จำลองมือ)
รุ่นExecutable (โดยเฉพาะอย่างยิ่งสำหรับส่วนประกอบ FSM)
โปรดทราบว่า UML ลำดับไดอะแกรมกิจกรรม ไดอะแกรมรัฐและไดอะแกรมเครื่องยืมตัวให้ไดนามิกแนวทาง
12

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

อาจจะสำคัญที่สุดชุดของสิ่งประดิษฐ์ที่จะตรวจสอบรายละเอียดเพียงพอที่จะหาข้อผิดพลาดที่สำคัญมากกว่านามธรรมและกระชับมากกว่ารหัส ; ง่ายต่อการเข้าใจและจัดการ- วิธีการแบบคงที่ออกแบบรีวิว ( ขับเคลื่อนโดยกำหนดให้ใช้กรณีแบบตรวจสอบ- วิธีการแบบไดนามิกออกแบบเดิน throughs ( ระบบมือ )ปฏิบัติการแบบ ( โดยเฉพาะอย่างยิ่งสำหรับส่วนประกอบใน )โปรดสังเกตว่าลำดับแผนภาพ UML แผนภาพกิจกรรมแผนภาพเครื่องรัฐยืมตัวเองไปยังวิธีการแบบไดนามิก12 .