A statistical assessment of reliability features of diverse programs

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.