问题详情

______能发现程序中的错误并能证明程序中不存在错误。
Ⅰ．静态测试
Ⅱ．动态测试
Ⅲ．正确性证明
A．Ⅰ和Ⅱ
B．Ⅰ和Ⅲ
C．Ⅱ和Ⅲ
D．都是请帮忙给出正确答案和分析，谢谢！