参考答案：D

解析： 软件测试若是从是否需要执行被测试软件的角度划分，可以分为静态测试和动态测试。若按照功能划分，可以分为黑盒测试和白盒测试。静态测试可以是人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。逻辑覆盖属于白盒测试的主要方法。错误推测属于黑盒测试的主要诊断方法之一。