软件测试的方法可归纳成三种，它们是
Ⅰ．动态测试
Ⅱ．静态测试
Ⅲ．程序正确性证明
而真正实施的方法则是( )。

A．Ⅰ

B．Ⅰ和Ⅱ

C．Ⅱ

D．Ⅰ、Ⅱ和Ⅲ