单选题

常用的软件冗余方法有多种，在关于软件冗余的描述中，正确的是（）

A 多版本程序设计可以检查软件故障，但不能检查硬件故障

B 用一组数据检查运算逻辑部件的功能属于能力检查

C 一致性检查时要把计算机的计算结果与手工计算结果进行比较

D 软件冗余是一种动态冗余技术

解析： 软件容错的主要目的是提供足够的冗余信息和算法程序，使系统在实际运行时能够及时发现程序设计错误，采取补救措施，以提高软件可靠性，保证整个计算机系统的正常运行。软件容错技术主要有恢复块方法、N版本程序设计和防卫式程序设计等。试题中提到的一致性检查和能力检查也是软件冗余的方法，其中，一致性检查是先预测程序的运行结果，然后将程序运行中和运行后的结果与预测值进行比较，根据比较结果判断软硬件的故障。能力检查是用诊断程序检查系统各个部件的功能是否符合设计的要求，例如，用诊断程序读写存储器的各个存储单元以检查其读写和存储功能是否正常，又如，用一组数据检查运算逻辑部件的功能是否正常。