検証容易性
のソース ::
システム開発文書品質研究会
用語wiki
検証容易性
のソース
[
トップ
] [
差分
|
バックアップ
|
NOTE
] [
新規
|
一覧
|
検索
|
最新
|
ヘルプ
]
[ ]
差分
を表示
検証容易性
へ行く。
« Prev
* 検証容易性 [#x35c4ee0] ** 参考定義 [#zb81fd14] *** 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. 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 x 60% of the time; and shall be produced within 30 s of event x 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. *** IEEE std 830-1998 和訳例 [#c159919e] SRSに含まれるすべての要求に対して有限のコストで評価可能な手続きが存在して検証できること~ ([[月刊「ビジネスコミュニケーション」((株)ビジネスコミュニケーション社)の「要求工学」第3回「要求仕様」>http://www.bcm.co.jp/site/2004/2004Dec/04-youkyuu-kougaku-12/04-youkyuu-kougaku-12.htm]]による)
« Prev
検証容易性 のバックアップ一覧
検証容易性 のバックアップソース(No. All)
1: 2013-07-14 (日) 16:15:34
FujitaYutaka
2: 2013-07-14 (日) 16:20:39
FujitaYutaka
現: 2013-07-22 (月) 04:59:31
ShioyaAtsuko
Counter: 4229, today: 3, yesterday: 0