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:

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

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

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