单项选择题
【按序答1-2题】 发展容错技术可提高计算机系统的可靠性。利用元件冗余可保证在局部有故障情况下系统的正常工作。带有热备份的系统称为（1）系统。它是（2），因此只要有一个子系统能正常工作，整个系统仍能正常工作。
A．并发 B．双工 C．双重 D．并行
A．不是乐谱而是波形 B．不是波形而是指令序列 C．不是指令序列而是波形 D．不是指令序列而是乐谱
A．发现程序中的所有错误 B．尽可能多地发现程序中的错误 C．证明程序是正确的 D．证明程序做了应做的事