2: 2013-07-14 (Sun) 16:20:39 FujitaYutaka  |
Cur: 2013-07-22 (Mon) 04:59:31 ShioyaAtsuko |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| * 検証容易性 [#x35c4ee0] | * 検証容易性 [#x35c4ee0] | ||
| ** 参考定義 [#zb81fd14] | ** 参考定義 [#zb81fd14] | ||
| - | *** IEEE 830 (Verifiable)[#nfe6681e] | + | *** IEEE std 830-1998 (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. | ||
| Line 12: | Line 12: | ||
| If a method cannot be devised to determine whether the software meets a particular requirement, then that | If a method cannot be devised to determine whether the software meets a particular requirement, then that | ||
| requirement should be removed or revised. | requirement should be removed or revised. | ||
| + | |||
| + | *** IEEE std 830-1998 和訳例 [#c159919e] | ||
| + | SRSに含まれるすべての要求に対して有限のコストで評価可能な手続きが存在して検証できること~ | ||
| + | ([[月刊「ビジネスコミュニケーション」（(株)ビジネスコミュニケーション社）の「要求工学」第3回「要求仕様」>http://www.bcm.co.jp/site/2004/2004Dec/04-youkyuu-kougaku-12/04-youkyuu-kougaku-12.htm]]による） | ||
- Backup list of 検証容易性
- Backup diff of 検証容易性(No. All)
- 1: 2013-07-14 (Sun) 16:15:34 FujitaYutaka
- 2: 2013-07-14 (Sun) 16:20:39 FujitaYutaka
- Cur: 2013-07-22 (Mon) 04:59:31 ShioyaAtsuko
Counter: 4529,
today: 2,
yesterday: 0