統合・テストの要点とテスト技法

要点と定義

本節は「システム開発技術」の統合・テストを扱う。統合では、統合順序を計画に反映して構築済みのソフトウェアまたはシステムを組み合わせる。ソフトウェア統合テストはソフトウェア設計で定めたテスト仕様を基準に動作を確認し、ソフトウェア検証テストはソフトウェア要件定義の要件を基準に実現状況を確かめる。システム統合テストでは、システム設計に基づき、ソフトウェアやハードウェア、手作業などを統合したシステム全体が要件を満たすかを調べる。システム検証テストはシステム要件定義の要件を基準に、システムの実現状況を確認する。:contentReference[oaicite:5]{index=5}

適用条件と例

たとえば、ソフトウェア統合テストでは、連携するモジュール間で値が正しく渡るかを確かめる。ソフトウェア検証テストでは、ソフトウェア要件に照らして機能や性能などを確認する。システム統合テストでは、ソフトウェア、ハードウェア、手作業などを組み合わせた全体が条件を満たすかを調べ、システム検証テストではシステム要件の実現状況を確認する。テスト後は結果を記録・分析・評価し、必要に応じて修正や調整、文書更新を行う。:contentReference[oaicite:0]{index=0}

テスト対象モジュールを動かすために呼び出す代替モジュールがドライバであり、対象が呼び出す下位モジュールを代行するものがスタブである。実行された命令や分岐の割合を把握する場合は、テストカバレージ分析を用いる。:contentReference[oaicite:1]{index=1}

分岐網羅は各判定の真・偽の行き先を実行し、条件網羅は判定を構成する条件ごとに真・偽を経験させる。例として、条件 x≧1、y＝1、y＞1 を含む流れ図では、(1,2)、(0,1)、(0,2) の入力を使うと、両方の網羅を満たせる。命令網羅では全命令を少なくとも一度実行する経路を選び、提示された流れ図の例では最小3ケースとなる。:contentReference[oaicite:2]{index=2}

繰返し処理の終了条件に境界の比較誤りがある場合、境界値とその前後の値を調べる限界値分析が役立つ。たとえば A≧a と A＞a の違いは、A が a と等しいときに表れる。:contentReference[oaicite:3]{index=3}

成果物を複数人で読み進め、記述された処理を机上でたどって問題を探すのはウォークスルーである。モデレータが進行し、指摘の記録と分析を公式に行う形式はインスペクションである。:contentReference[oaicite:4]{index=4}

インスペクションについて、作成者以外のモデレータが進行し、公式な記録と分析を行う特徴を根拠とする。

ドライバはテスト対象を呼び出し、スタブは対象から呼び出される側を代替するという役割の区別を根拠とする。

テストで実行された部分の割合を調べる用途に、テストカバレージ分析ツールを用いることを根拠とする。