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