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

A．Ⅰ和Ⅱ

B．Ⅰ和Ⅲ

C．Ⅱ和Ⅲ

D．都是