データフローテスト（Data Flow Testing）について

データフローテストとは

データフローテストとは、ソースコードのデータ（変数、データオブジェクト）に対して、その状態の変化を確認するテスト技法です。
簡単にいえば、プログラム上でデータがどこで定義され、どこで使用され、どこで消滅するのか、を検証することがデータフローテストです。

データフローテストは、ホワイトボックステスト技法のひとつです。
この技法は、コーディングミスなどによって変数の値が不正使用されている場所を見つけるのに有用です。

データフローとは、データや変数が「定義→使用→消滅」というライフサイクルを行うことを指します。
データのライフサイクルが不正の場合には、バグの発生原因が潜在している可能性が高いので注意が必要です。

データのライフサイクルの順序組合せは9つあり、それぞれの状態を以下のように判断します。

データフローテストでは、静的解析ツールを利用することが有効です。
開発者がソースコードを一行ずつレビューすることよりも、構文解析ツールによるデータフロー解析が効率的で効果的です。

一般的には、構文解析ツールを導入したり、コンパイラの警告レベルを高く設定することで、ライフサイクルに則らない変数の検出が可能です。
近年の開発ツールの高度化やTDDなどの開発スタイルの進化により、開発者が能動的にデータフローテストを実施する機会は減りつつあります。