白盒测试不能发现（ ）。

白盒测试也称结构测试或逻辑驱动测试，主要关注程序内部逻辑和结构，能发现代码路径中的错误、死循环和逻辑错误。由于白盒测试是基于代码进行测试，并不关注功能需求，因此无法确定功能是否正确，即不能发现功能错误。所以选项D是正确的。