データフローテスト 【data flow testing】 データフローパステスト

プログラム中に登場するデータや変数は、定義や入力に始まり、処理や使用、参照され、削除、解放されて消滅するという過程をたどって取り扱われる。データフローテストでは各ステップがこの順番通りに行われているか調べられるようなテストデータの組み合わせを与える。

これにより、コード中で一度も参照されない無駄な変数の宣言や、使用前に何度も繰り返し行われる無駄な初期化処理、使い終わったメモリ領域の解放し忘れによるメモリリーク、未定義のデータや初期化前の変数を処理しようとして生じるバグなどを発見することができる。

どのような変数を対象として、どのようなデータを与えるかといった違いによっていくつかの種類があり、テストの目的や予算などに応じて適切なものを選択する必要がある。ある程度機械的にチェックを行ってくれるツールなどもある。

関連用語

ソースコード

【source code】

ソフトウェア

【software】

バグ

【bug】

パス

【path】

クラス

【class】

ホワイトボックステスト

【white-box testing】

ブラックボックステスト

【black box testing】

結合テスト

【integration testing】

単体テスト

【UT】

モジュール

【module】

制御パステスト

【path testing】

システム

【system】

変数

【variable】

ツール

【tool】

カバレッジ

【coverage】

同値分割

【equivalence partitioning】

エラー

【error】

テストケース

【test case】

分岐網羅

【branch coverage】

不具合

【trouble】