N-VERSION PROGRAMMINC: A FAULT-TOLERANCE APPROACH TO RELlABlLlTY OF SOFTWARE OPERATlON 论文

摘要

N-version programing is defined as the independent generation of N2 2 functionally e quivalent prograns fran the sme initial specification. A methodology of N-version programing has been devised and three types of special mechanisms have been identified t hat are needed to coordinate the execution of an N-version software unit and to canpare the correspondent results generated by each version. Two experiments have been conducted to test the feasibility of N-version programing. The results o f these experiments are discussed. In addition, constraints are identified that must be met for effective application of N-version programing.