ドメイン |
|
開発対象 |
|
国 |
|
開発組織 |
|
形式手法(言語、ツール) |
|
適用範囲・規模(形式手法) |
|
適用対象のソフト種別 |
|
適用目的・工程 |
|
実装言語 |
|
実装規模 |
|
効果 |
|
工程 | 障害発見比率[%] | 工数比率 [%] |
---|---|---|
仕様 | 3.25 | 5 |
Zによる証明 | 16 | 2.5 |
概念設計 | 1.5 | 2 |
詳細設計、実装、簡易テスト | 26.25 | 17 |
単体テスト | 15.75 | 25 |
統合テスト | 1.25 | 1 |
コードの証明 | 5.25 | 4.5 |
システム妥当性テスト | 21.5 | 9.5 |
受け入れテスト | 1.25 | 1.5 |
その他(スタッフの教育、プロジェクト管理と計画、安全管理等) | 8 | 32 |