経路テスト法 (構文解析、記号実行)