单项选择题

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