コンピュータプログラム中の変数の状態変化（定義・参照・消滅）に注目して選択的に制御パスを実行し、正しく動作しているかを検証するテストのこと。ホワイトボックステストの1つ。 プログラムの内部構造に基づいてテストを書くホワイトボックス ...