Software reliability practices at Cray Research Inc

Abstract

Cray Research Inc. is using the Poisson-type models proposed by A.C. Goel (1985), K. Okumoto (1985), J.D. Musa (1987), M. Obah (1984). Because the processes fail to conform to these models, they have been of little use in predicting software reliability or failure intensity for products which have yet to be released. This led to the search for non-parametric or non-model dependent approaches. Using sequential analysis Cray have been able to test hypotheses by comparing an unspecified model to a true homogeneous Poisson process operating at a target rate.<>