A complete proof of correctness is

A complete proof of correctness is obtained when all possible routes through the program have been checked and verified" [Gettrick82].

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

หลักฐานความถูกต้องสมบูรณ์จะได้รับเมื่อมีการตรวจสอบ และตรวจสอบเส้นทางได้ทั้งหมดผ่านโปรแกรม" [Gettrick82]

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

หลักฐานที่สมบูรณ์ของความถูกต้องจะได้รับเมื่อเส้นทางที่เป็นไปได้ทั้งหมดผ่านโปรแกรมที่ได้รับการตรวจสอบและการตรวจสอบแล้ว "[Gettrick82]

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

การพิสูจน์ความถูกต้องสมบูรณ์ได้เมื่อเป็นไปได้ทั้งหมด เส้นทางผ่านโปรแกรมได้รับการตรวจสอบและยืนยันความถูกต้อง " [ gettrick82 ]