______能发现程序中的错误并能证明程序中不存在错误。
Ⅰ．静态测试 Ⅱ．动态测试 Ⅲ．正确性证明

A．Ⅰ和Ⅱ
B．Ⅰ和Ⅲ
C．Ⅱ和Ⅲ
D．都是