软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是（）。

A.I

B.I和Ⅱ

C.II

D.I、Ⅱ和III