单项选择题

白盒测试主要用于测试()

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