第10章 ソフトウェアシステムの検証と動作確認

10.1 ソフトウェアの検証・動作確認の基本的な考え方

1. 検証の考え方

ソフトウェア = プログラム + ドキュメント

P.180上～

①論理的な正しさ → 検証(verification)

②ユーザの期待 → 妥当性確認(validation)

2. 検証の方法

動的検証

静的検証

P.181中～

動的検証： テスト

静的検証： レビューなど

10.2 ソフトウェアレビュー

1. 静的検証の種類

ソフトウェアレビュー

プログラム解析

仕様検証

2. ソフトウェアレビューの種類

(a) 目的による分類

テクニカルレビュー

マネジメントレビュー

(b) 実施時期による分類

3. レビューの技法

(a) ウォークスルー

(b) フォーマルインスペクション

事前に問題点をリストアップしてから

4. レビュー実施時の工夫

10.3 プログラム解析と形式的仕様検証

省略（2.は西村の専門分野）

確認問題10-a

10.4 ソフウェアテスト

1. ソフトウェアテストの役割と限界

プログラムの動作を確認

P.188下～

全開発期間の30%かけるのが理想

P.189上～

テストではバグがないことの保証はできない

2. テストの種類と方法

(a) テスト時期による区分

①単体テスト

②結合テスト

複数のモジュールを結合して

③システムテスト

④受入れテスト

顧客と一緒に

(b) テスト方法による区分

①ホワイトボックステスト

内部を分かった上で

②ブラックボックステスト

外部からの視点で

③状態遷移テスト

(c) テスト観点による区分

省略

3. テストの手順

省貧c ### 4. テスト項目の作成

(a) ブラックボックステストのテスト項目作成

①同値分割法

同様の値は代表のみに

②限界値・境界値分析

③デシジョンテーブル

(b) ホワイトボックステストのテスト項目作成

①命令網羅テスト (C0)

図の(a)

②分岐網羅テスト (C1)

図の(b)

③条件網羅テスト (C2)

図の(c)

P.198上～

5. テスト項目の最適化

省略

6. テスト環境の準備

省略

確認問題10-b

レポート8

教科書（図はすべてこちらより引用）：
　平山雅之 他,「ソフトウェア工学」, オーム社