. If a method cannot be devised to

. If a method cannot be devised to determine whether the software meets a particular requirement

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

. ถ้าวิธีการไม่สามารถคิดค้นการตรวจสอบว่า ซอฟต์แวร์ตรงกับความต้องการเฉพาะ

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

. หากวิธีการไม่สามารถวางแผนการตรวจสอบว่าซอฟต์แวร์ที่ตรงความต้องการโดยเฉพาะอย่างยิ่ง

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

. ถ้าวิธีที่ไม่สามารถวางแผนที่จะตรวจสอบว่าซอฟต์แวร์ที่ตรงตามความต้องการเฉพาะ