TEF/テスト技法/データフローテスト

技法名　データフローテスト †

構造ベースのホワイトボックステスト技法の1つです。

この技法は、ソースコードのデータ（変数、データオブジェクト）に対して、その状態の変化をチェックし問題が無いかテストする方法です。

データの状態には定義・消滅・使用の3つがあります。

略号	データの状態	説明
d	defined	定義済み。生成済み(created)、初期化済み(initialized)を含む
k	killed	消滅。未定義(undefined)、解放済み(released)を含む
u	usage	使用。演算で使用(computation)と、判定述語で使用(processing)のどちらか

したがって、データの状態の組合せには、順序を考えて次の9つが考えられます。

この表の判定結果を元に怪しいところをコードレビューすることでバグを検出します。

main()

{

　　　char *p;

　　　gets(p);

}

上記では、pの実体が無いまま使用しているため、「セグメンテーション違反」が発生する。

データフローテストは通常、静的解析ツール（コンパイラのワーニング出力機能を含む）を用いてテストします。手作業でテストする場合は、フラグなどの怪しい変数に対してdkuの変化をメモしていき、確認します。

ゼロからの開発では、そうそう頻繁に起こる問題ではありませんが、ソースコードを改変しているうちに使わない変数が残ったり、解放済みの変数にアクセスしたりということが発生します。

書籍：ソフトウェアテスト技法

total 1983 today 2 yesterday 4