逻辑证明在实践检验真理的过程中的重大作用表现在( )

A．逻辑证明给实践提供理论基础

B．难以直接用实践检验的理论要靠逻辑思维证明

C．逻辑证明给实践以理论依据

D．逻辑证明以实践标准为基础

软件测试分为白箱(盒)测试和黑箱(盒)测试，等价类划分法属于______测试。