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.

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

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

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

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