经验表明，在程序测试中，某模块与其他模块相比，若该模块已发现并改正的错误数目较多，则该模块中残存的错误数目与其他模块相比，通常应该______。

A) 面向对象软件的白盒测试不能不加改变地照搬传统软件的白盒测试准则
B) 在存在多态的情况下，为了达到较高的测试充分性，应对所有可能的绑定都进行测试
C) 假设类B是类A的子类，如果类A已进行了充分的测试，在测试类B时不必测试任何类B继承类A的成员方法
D) 对于一棵继承树上的多个类，处于叶子结点的类也需要测试

A) 错误推测法
B) 边界值分析法
C) 因果图法
D) 等价类测试法