no verifiable requirements include

no verifiable requirements include statements such as “works well,” “good human interface,” and “shall usually happen.” 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 no verifiable because the testing of this quality is theoretically impossible.

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

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

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

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