Each requirement in the SRS should

Each requirement in the SRS should be identified to make these differences clear and explicit. Identifying
the requirements in the following manner helps:
a) Have customers give more careful consideration to each requirement, which often clarifies any
hidden assumptions they may have.
b) Have developers make correct design decisions and devote appropriate levels of effort to the different
parts of the software product.
4.3.5.1 Degree of stability
One method of identifying requirements uses the dimension of stability. Stability can be expressed in terms
of the number of expected changes to any requirement based on experience or knowledge of forthcoming
events that affect the organization, functions, and people supported by the software system.
4.3.5.2 Degree of necessity
Another way to rank requirements is to distinguish classes of requirements as essential, conditional, and
optional.
a) Essential. Implies that the software will not be acceptable unless these requirements are provided in
an agreed manner.
b) Conditional. Implies that these are requirements that would enhance the software product, but would
not make it unacceptable if they are absent.
c) Optional. Implies a class of functions that may or may not be worthwhile. This gives the supplier the
opportunity to propose something that exceeds the SRS.
4.3.6 Verifiable
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.
Nonverifiable 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 nonverifiable
because the testing of this quality is theoretically impossible.
An example of a verifiable statement is
Output of the program shall be produced within 20 s of event ¥ 60% of the time; and shall be
produced within 30 s of event ¥ 100% of the time.
This statement can be verified because it uses concrete terms and measurable quantities.
If a method cannot be devised to determine whether the software meets a particular requirement, then that
requirement should be removed or revised.

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

ควรระบุความต้องการแต่ละใน SRS ให้แตกต่างชัดเจน และชัดแจ้ง ระบุช่วยให้ความต้องการในลักษณะต่อไปนี้:) มีลูกค้าให้รอบคอบการสั่ง ซึ่งมักจะชัดเจนใด ๆสมมติฐานที่ซ่อนอยู่ที่อาจมีข) มีการพัฒนาออกแบบตัดสินใจ และทุ่มเทความพยายามในระดับที่เหมาะสมแตกต่างชิ้นส่วนของผลิตภัณฑ์ซอฟต์แวร์4.3.5.1 ระดับของความมั่นคงวิธีการหนึ่งในการระบุความต้องใช้มิติของความมั่นคง สามารถแสดงความมั่นคงในจำนวนของการเปลี่ยนแปลงเงื่อนไขใด ๆ ตามประสบการณ์หรือความรู้ของกำลังมาถึงที่คาดไว้เหตุการณ์ที่ส่งผลกระทบต่อองค์กร ฟังก์ชัน และคนที่สนับสนุนระบบซอฟต์แวร์4.3.5.2 ระดับความจำเป็นอีกวิธีหนึ่งที่ความต้องการอันดับคือการ แยกชั้นของความต้องการเป็นสำคัญ เงื่อนไข และไม่จำเป็นจำเป็น) หมายความว่า ซอฟต์แวร์จะไม่ยอมยกเว้นข้อกำหนดเหล่านี้มีอยู่ในลักษณะตกลงกันข) แบบมีเงื่อนไข หมายความว่า เหล่านี้เป็นความต้องการที่จะเพิ่มผลิตภัณฑ์ซอฟต์แวร์ แต่จะไม่ทำให้มันยอมรับไม่ได้หากขาดการc) เลือก หมายถึงระดับของฟังก์ชันที่อาจ หรืออาจไม่คุ้มค่า นี้ช่วยให้ซัพพลายเออร์โอกาสในการเสนอสิ่งที่เกิน SRS4.3.6 ตรวจสอบได้SRS การคือ ถ้าตรวจสอบได้ และเฉพาะ ทุกความต้องการที่ระบุไว้ในนั้นคือตรวจสอบ ความต้องจะตรวจสอบได้if, and only if, there exists some finite cost-effective process with which a person or machine can check thatthe software product meets the requirement. In general any ambiguous requirement is not verifiable.Nonverifiable requirements include statements such as “works well,” “good human interface,” and “shallusually 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 nonverifiablebecause the testing of this quality is theoretically impossible.An example of a verifiable statement isOutput of the program shall be produced within 20 s of event ¥ 60% of the time; and shall beproduced within 30 s of event ¥ 100% of the time.This statement can be verified because it uses concrete terms and measurable quantities.If a method cannot be devised to determine whether the software meets a particular requirement, then thatrequirement should be removed or revised.

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

ความต้องการในแต่ละ SRS ควรจะระบุที่จะทำให้แตกต่างเหล่านี้ชัดเจนและชัดเจน ระบุ
ความต้องการในลักษณะดังต่อไปนี้จะช่วยให้:
ก) มีลูกค้าให้การพิจารณาอย่างรอบคอบมากขึ้นเพื่อความต้องการของแต่ละซึ่งมักจะชี้แจงใด ๆ
. สมมติฐานที่ซ่อนพวกเขาอาจมี
ข) มีนักพัฒนาในการตัดสินใจการออกแบบที่ถูกต้องและอุทิศระดับที่เหมาะสมของความพยายามที่จะแตกต่างกัน
ในส่วนของ ผลิตภัณฑ์ซอฟต์แวร์.
4.3.5.1 ปริญญาของความมั่นคง
วิธีการหนึ่งของความต้องการใช้ระบุมิติของความมั่นคง ความเสถียรสามารถแสดงออกในแง่
ของจำนวนของการเปลี่ยนแปลงที่คาดว่าจะต้องการใด ๆ ขึ้นอยู่กับประสบการณ์หรือความรู้ในการเตรียมพร้อม
เหตุการณ์ที่ส่งผลกระทบต่อองค์กรของฟังก์ชั่นและผู้คนที่ได้รับการสนับสนุนโดยระบบซอฟแวร์.
4.3.5.2 ปริญญาของความจำเป็น
วิธีการจัดอันดับความต้องการเป็นอีกหนึ่ง แยกแยะความแตกต่างของความต้องการเรียนเป็นสำคัญเงื่อนไขและ
ไม่จำเป็น.
) ที่จำเป็น หมายความว่าซอฟต์แวร์จะไม่เป็นที่ยอมรับเว้นแต่ความต้องการเหล่านี้จะถูกจัดให้อยู่ใน
ลักษณะที่ตกลงกัน.
ข) เงื่อนไข แสดงให้เห็นว่าสิ่งเหล่านี้เป็นความต้องการที่จะเพิ่มผลิตภัณฑ์ซอฟต์แวร์ แต่จะ
ไม่ทำให้มันยอมรับไม่ได้ว่าพวกเขาจะไม่อยู่.
ค) เป็นตัวเลือก หมายถึงระดับของการทำงานที่อาจจะหรืออาจจะไม่คุ้มค่า นี้จะช่วยให้ผู้จัดจำหน่ายที่
มีโอกาสที่จะนำเสนอสิ่งที่เกิน SRS.
4.3.6 พิสูจน์
SRS สามารถตรวจสอบถ้าหากว่าต้องการที่ระบุไว้ในนั้นทุกคนจะสามารถตรวจสอบได้ ความต้องการเป็นที่ตรวจสอบได้
ถ้าหากว่ามีอยู่บางส่วนกระบวนการที่มีประสิทธิภาพแน่นอนที่บุคคลหรือเครื่องสามารถตรวจสอบว่า
ผลิตภัณฑ์ซอฟต์แวร์ที่เป็นไปตามความต้องการ โดยทั่วไปความต้องการที่ไม่ชัดเจนใด ๆ ที่ไม่สามารถตรวจสอบได้.
ต้องการ Nonverifiable รวมถึงแถลงการณ์เช่น "ทำงานได้ดี", "อินเตอร์เฟซของมนุษย์ที่ดี" และ "จะ
มักจะเกิดขึ้น." ความต้องการเหล่านี้ไม่สามารถตรวจสอบได้เพราะมันเป็นไปไม่ได้ที่จะกำหนดคำว่า "ดี"
"ดี" หรือ "มักจะ." คำสั่งว่า "โปรแกรมจะไม่ใส่ห่วงอนันต์" เป็น nonverifiable
เพราะการทดสอบที่มีคุณภาพนี้เป็นไปไม่ได้ในทางทฤษฎี.
ตัวอย่างของคำสั่งที่ตรวจสอบได้เป็น
ผลลัพธ์ของโปรแกรมจะมีการผลิตภายใน 20 ของเหตุการณ์¥ 60% ของเวลา; และจะได้รับการ
ผลิตภายใน 30 วินาทีของเหตุการณ์¥ 100% ของเวลา.
คำสั่งนี้สามารถตรวจสอบได้เพราะมันใช้คำที่เป็นรูปธรรมและปริมาณที่วัดได้.
ถ้าวิธีการไม่สามารถวางแผนการตรวจสอบว่าซอฟต์แวร์ที่ตรงความต้องการโดยเฉพาะอย่างยิ่งแล้วที่
ต้องการควร จะลบหรือแก้ไข