開発者Aさんは，入力データが意図されたとおりに処理されるかを，プログラムの内部構造を分析し確認している。現在Aさんが行っているテストはどれか。