软件测试方法中黑盒测试法和白盒测试法是常用的方法，其中白盒测试法主要是用于测试( )。

A．结构合理性
B．程序正确性
C．软件外部功能
D．程序内部逻辑