The statement that "the program sha

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 เพราะการทดสอบที่มีคุณภาพนี้เป็นไปไม่ได้ในทางทฤษฎี