参考答案：D

解析： 程序测试的目的是发现程序错误，不是证明程序正确。所以选项A的说法不正确。黑盒测试是在不了解程序结构的情况下，根据使用说明书，输入所需的数据，检查其输出结果的正确性。黑盒测试也叫做功能测试。所以，选项B的说法错误。白盒测试根据程序内部结构进行测试，也叫做结构测试。所以，选项C的说法错误。 选项D的说法正确，为所选答案。