单项选择题

软件测试的方法有3种:静态测试、动态测试和______。

A.程序正确性证明
B.调试
C.验收测试
D.集成测试