参考答案：A

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