冗余程序设计就是每个程序采用两种不同的算法编写。