These requirements cannot be verifi

These requirements cannot be verified because it is impossible to define the terms “good,”
“well,” or “usually.” The statement that “the program shall never enter an infinite loop” is nonverifiable because the testing of this quality is theoretically impossible

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

ข้อกำหนดเหล่านี้ไม่สามารถตรวจสอบได้เนื่องจากไม่สามารถกำหนดเงื่อนไขในการ "ดี"ดี" หรือ "ปกติ" คำว่า "โปรแกรมจะไม่ป้อนการวนรอบไม่สิ้นสุด" คือ nonverifiable เนื่องจากการทดสอบคุณภาพนี้เป็นไปไม่ได้ในทางทฤษฎี

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

ความต้องการเหล่านี้ไม่สามารถตรวจสอบได้เพราะมันเป็นไปไม่ได้ที่จะกำหนดคำว่า "ดี"
"ดี" หรือ "มักจะ." คำสั่งว่า "โปรแกรมจะไม่ใส่ห่วงอนันต์" เป็น nonverifiable เพราะการทดสอบที่มีคุณภาพนี้เป็นไปไม่ได้ในทางทฤษฎี