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