1: 2013-07-14 (日) 16:15:34 FujitaYutaka |
2: 2013-07-14 (日) 16:20:39 FujitaYutaka |
| * 検証容易性 [#x35c4ee0] | | * 検証容易性 [#x35c4ee0] |
| ** 参考定義 [#zb81fd14] | | ** 参考定義 [#zb81fd14] |
- | *** IEEE 830 [#nfe6681e] | + | *** IEEE 830 (Verifiable)[#nfe6681e] |
| 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. | | 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. | | 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 | | An example of a verifiable statement is |
| Output of the program shall be produced within 20 s of event x 60% of the time; and shall be produced within 30 s of event x 100% of the time. | | Output of the program shall be produced within 20 s of event x 60% of the time; and shall be produced within 30 s of event x 100% of the time. |