An SRS is verifiable if, and only i

An SRS is verifiable if, and only if, every requirement stated therein is verifiable. A requirement is verifiable if, and only if, there exists some finite cost-effective process with which a person or machine can check that the software product meets the requirement. In general any ambiguous requirement is not verifiable.

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

SRS การคือ ถ้าตรวจสอบได้ และเฉพาะ ทุกความต้องการที่ระบุไว้ในนั้นคือตรวจสอบ ความต้องการถ้าตรวจสอบได้ และเดียว มีกระบวนการบางอย่างคุ้มค่ามีจำกัด ด้วยซึ่ง บุคคลหรือเครื่องจักรสามารถตรวจสอบว่า ผลิตภัณฑ์ซอฟต์แวร์ที่ตรงกับความต้องการ โดยทั่วไป ความต้องการไม่ชัดเจนไม่สามารถสอบได้

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

SRS สามารถตรวจสอบถ้าหากว่าต้องการที่ระบุไว้ในนั้นทุกคนจะสามารถตรวจสอบได้ ความต้องการเป็นที่ตรวจสอบได้ถ้าหากว่ามีอยู่บางส่วนกระบวนการที่มีประสิทธิภาพแน่นอนที่บุคคลหรือเครื่องสามารถตรวจสอบว่าผลิตภัณฑ์ซอฟแวร์ที่เป็นไปตามความต้องการ โดยทั่วไปความต้องการที่ไม่ชัดเจนใด ๆ ที่ไม่สามารถตรวจสอบได้