以下关于程序测试的叙述，正确的是（）。

A．程序测试的目的是为了证明程序的正确性

B．白盒测试也称为功能测试

C．黑盒测试也称为结构测试

D．程序测试要注意检验程序是否有多余的功能