A . 多版本程序设计可以检查软件故障，但不能检查硬件故障
B . 用一组数据检查运算逻辑部件的功能属于能力检查
C . 一致性检查时要把计算机的计算结果与手工计算结果进行比较
D . 软件冗余是一种动态冗余技术