Many projects treat validation as a

Many projects treat validation as a synonymfor testing
•Testing is a dynamic, experimental approach
•Static, analytic approaches do exist
Formal –proofs of program correctness (active area of research but not widely used in industry)
Informal –code reviews or code walk-throughs (semi-dynamic)

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

หลายโครงการถือตรวจสอบเป็นการทดสอบ synonymfor•Testing เป็นวิธีการแบบไดนามิก ทดลอง•Static วิธีวิเคราะห์ที่มีอยู่Formal – หลักฐานของความถูกต้องของโปรแกรม (ใช้งานพื้นที่ของงานวิจัยแต่ไม่ใช้กันแพร่หลายในอุตสาหกรรม)Informal-ความคิดเห็นจากรหัส หรือรหัสแต่ละขั้นตอน (กึ่งไดนามิก)

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

หลายโครงการรักษาการตรวจสอบการทดสอบเป็น synonymfor
•การทดสอบเป็นแบบไดนามิกวิธีการทดลอง
•คงวิธีการวิเคราะห์ที่ทำอยู่
-proofs Formalความถูกต้องของโปรแกรม (พื้นที่ใช้งานของการวิจัย แต่ไม่ใช้กันอย่างแพร่หลายในอุตสาหกรรม)
Informal -code ความคิดเห็นหรือเดินรหัส -throughs (กึ่งไดนามิก)

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

หลายโครงการที่ถือว่าเป็น synonymfor ตรวจสอบการทดสอบ- การทดสอบเป็นแบบไดนามิก , วิธีการทดลอง- คง วิธีวิเคราะห์ทำอยู่อย่างเป็นทางการ–พิสูจน์ความถูกต้องของโปรแกรมที่ใช้งานในพื้นที่ของการวิจัย แต่ไม่ได้ใช้กันอย่างแพร่หลายในอุตสาหกรรม )ไม่เป็นทางการ–รีวิวโค้ดหรือรหัสเดิน throughs ( กึ่งแบบไดนามิก )