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

A．结构合理性

B．程序正确性

C．软件外部功能

D．程序内部逻辑