在软件测试用例设计的方法中，最常用的方法是黑盒测试和白盒测试，其中不属于白盒测试所关注的是______。

A．程序结构

B．软件外部功能

C．程序正确性

D．程序内部逻辑