Two basic approaches:Experimental

Two basic approaches:
Experimental (dynamic)
Analytical (static) -correctness proof through mathematical model
•Depending on the type of artifact, one or the other approach might be more appropriate
•The only testing that can provide absolute certainty about the system correctness is “exhaustive testing”. Unfortunately, such testing is impossible in practice.
•Thus, we need testing strategies---some criteria for selecting significant test cases.
•Significant test cases can not be formalized. It is the empirical approximation of the ideal test set.
9

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

สองวิธีพื้นฐาน
Experimental (Dynamic)
Analytical (คงที่) หลักฐาน -correctness ผ่านแบบจำลองทางคณิตศาสตร์
•ทั้งนี้ขึ้นอยู่กับชนิดของสิ่งประดิษฐ์หนึ่งหรือวิธีการอื่น ๆ ที่อาจจะมีความเหมาะสมมากขึ้น
•การทดสอบเท่านั้นที่สามารถให้ความเชื่อมั่นแน่นอนเกี่ยวกับความถูกต้องของระบบ คือ "การทดสอบครบถ้วนสมบูรณ์" แต่น่าเสียดายที่การทดสอบดังกล่าวเป็นไปไม่ได้ในทางปฏิบัติ.
•ดังนั้นเราจึงจำเป็นต้องใช้กลยุทธ์การทดสอบ --- เกณฑ์สำหรับการเลือกกรณีทดสอบอย่างมีนัยสำคัญ.
•กรณีทดสอบที่สําคัญไม่สามารถกรงเล็บ มันเป็นประมาณเชิงประจักษ์ของชุดทดสอบที่เหมาะ.
9

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

วิธีการพื้นฐานสอง :ทดลอง ( แบบไดนามิก )วิเคราะห์ ( คงที่ ) - พิสูจน์ความถูกต้องผ่านแบบจำลองทางคณิตศาสตร์- ขึ้นอยู่กับชนิดของวัตถุชิ้นหนึ่งหรือวิธีการอื่น ๆอาจจะเหมาะสมมากกว่าเท่านั้นที่สามารถให้บริการทดสอบแน่นอนความแน่นอนเกี่ยวกับความถูกต้องระบบคือ " การทดสอบครบถ้วนสมบูรณ์ " แต่น่าเสียดายที่การทดสอบดังกล่าวเป็นไปไม่ได้ในทางปฏิบัติ- ดังนั้นเราจึงต้องการทดสอบกลยุทธ์ --- เกณฑ์บางอย่างสำหรับการเลือกกรณีทดสอบที่สำคัญ- อย่างกรณีทดสอบไม่สามารถกล่าว . มันเป็นประมาณเชิงประจักษ์ในชุดทดสอบที่เหมาะสม9