検証容易性
::
システム開発文書品質研究会
用語wiki
検証容易性
[
Front page
] [
Diff
|
Backup
] [
New
|
List
|
Search
|
Recent
|
Help
]
[ ]
Start:
* 検証容易性
** 参考定義
*** IEEE std 830-1998 (Verifiable)
An SRS is verifiable if, and only if, every requirement s...
Nonverifiable requirements include statements such as "wo...
An example of a verifiable statement is
Output of the program shall be produced within 20 s of e...
This statement can be verified because it uses concrete t...
If a method cannot be devised to determine whether the so...
requirement should be removed or revised.
*** IEEE std 830-1998 和訳例
SRSに含まれるすべての要求に対して有限のコストで評価可能な...
([[月刊「ビジネスコミュニケーション」((株)ビジネスコミュ...
End:
* 検証容易性
** 参考定義
*** IEEE std 830-1998 (Verifiable)
An SRS is verifiable if, and only if, every requirement s...
Nonverifiable requirements include statements such as "wo...
An example of a verifiable statement is
Output of the program shall be produced within 20 s of e...
This statement can be verified because it uses concrete t...
If a method cannot be devised to determine whether the so...
requirement should be removed or revised.
*** IEEE std 830-1998 和訳例
SRSに含まれるすべての要求に対して有限のコストで評価可能な...
([[月刊「ビジネスコミュニケーション」((株)ビジネスコミュ...
Page:
Counter: 0, today: 0, yesterday: 0