以下关于面向对象程序单元测试的说法中，正确的是

A．只要对类的每个成员方法都进行了测试就可完成对该类的单元测试

B．不需要对抽象类进行单元测试

C．基于判定表的测试可以用于面向对象程序的单元测试

D．不变式边界测试是一种针对类树多态性的测试技术

介绍“演绎逻辑推导”最好的教科书是什么（）

A、《论演绎》

B、《我的大学》

C、《天演论》

D、《欧几里得原本》