软件测试的方法有三种：静态测试，动态测试和（ ）。A．程序正确性证明B．调式C．验收测试D．集成测试

正确答案：B
解析：静态测试一般是指通过人工评审软件文档或程序，借以发现其中的错误，不必运行程序。动态测试指的是上机测试，它使程序有控制的运行，从多角度的观察程序运行时的行为。黑箱测试是动态测试的一种，由此可以看出A)，D)两项是不对的。穷举测试需要针对大量测试数据来验证程序的准确度，因此需要程序运行。

正确答案：A
解析：本题考查对软件测试方法的了解。软件测试用于预防软件发生错误、发现并改正程序错误、提供错误诊断信息。软件测试的方法主要有动态测试、静态测试和正确性证明。故本题选择A。

答案：B

解析：

正确答案：D
解析：本题考查软件测试方法的概念。目前，软件测试的方法有三种：动态测试、静态测试和正确性证明。动态测试是指通常的上机测试，这种方法是使程序有控制地运行，并从多种角度观察程序运行时的行为，以发现其中的错误。静态测试一般是指人工评审软件文档或程序，借以发现其中的错误，由于被评审的文档或程序不必运行，所以称为静态的。动态测试和静态测试只能发现错误而不能证明程序中不存在错误，从理论上讲，只有借助于程序正确性证明才有可能证明程序的正确性。程序证明最常用的方法是归纳断言法，它对程序提出一组命题，如能永数学方法证明这些命题成立，就可保证程序中不存在错误，即它对所有的输入都会产生预测的正确输出。但目前正确性证明尚处于理论研究阶段，其技术尚不成熟，并未达到实用化阶段。正确答案为选项D。

正确答案：A
解析：白盒法和黑盒法都是动态测试。