单项选择题

A.程序测试的目的是为了证明程序的正确性
B.白盒测试也称为功能测试
C.黑盒测试也称为结构测试
D.程序测试要注意检验程序是否有多余的功能