An Experimental Evaluation Of The Assumption Of Independence In Multi-Version Programming *

DMCA

An Experimental Evaluation Of The Assumption Of Independence In Multi-Version Programming * (1986)

Cached

Download Links

Other Repositories/Bibliography

CiteULike
DBLP

by John C. Knight , Nancy G. Leveson

Venue:	IEEE Transactions on Software Engineering
Citations:	310 - 12 self

BibTeX

@ARTICLE{Knight86anexperimental,
    author = {John C. Knight and Nancy G. Leveson},
    title = {An Experimental Evaluation Of The Assumption Of Independence In Multi-Version Programming *},
    journal = {IEEE Transactions on Software Engineering},
    year = {1986},
    volume = {12},
    pages = {96--109}
}

OpenURL

Abstract

N-version programming has been proposed as a method of incorporating fault tolerance into software. Multiple versions of a program (i.e. "N") are prepared and executed in parallel. Their outputs are collected and examined by a voter,and, if theyare not identical, it is assumed that the majority is correct. This method depends for its reliability improvement on the assumption that programs that have been developed independently will fail independently.Inthis paper an experiment is described in which the fundamental axiom is tested. Atotal of twenty sevenversions of a program were prepared independently from the same specification at twouniversities and then subjected to one million tests. The results of the tests revealed that the programs were individually extremely reliable but that the number of tests in which more than one program failed was substantially more than expected. The results of these tests are presented along with an analysis of some of the faults that were found in the programs. Background information on the programmers used is also summarized. The conclusion from this experiment is that N-version programming must be used with care and that analysis of its reliability must include the effect of dependent errors. Keywords and Phrases: Multi-version programming, N-version programming, software reliability,fault-tolerant software, design diversity. * This work was sponsored in part by NASA grant number NAG1-242 and in part by a MICROgrant cofunded by the state of California and Hughes Aircraft Company. 1.

Keyphrases

multi-version programming n-version programming experimental evaluation dependent error multiple version nasa grant number nag1-242 twenty sevenversions inthis paper background information fault-tolerant software design diversity fundamental axiom hughes aircraft company software reliability reliability improvement fault tolerance

DMCA