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

A．结构合理性

B．程序正确性

C．软件功能

D．程序内部逻辑