Citation

Kersken M, Ehrenberger W. Reliab. Eng. 1981; 2(3): 233-240.

Copyright

(Copyright © 1981, Elsevier Publishing)

DOI

10.1016/0143-8174(81)90015-9

PMID

unavailable

Abstract

Diverse programs, i.e. mutual independent programs which solve the same problem, are considered as an adequate means to increase software safety. The distribution of commonly erroneous program properties is investigated under certain restrictive assumptions, e.g. independency of programmers. As a result the hypergeometric distribution is obtained. For less severe constraints concerning independence a possible statistical assessment is also presented.