Issue No. 01 - Jan. (1986 vol. 12)
F.-W. Scholz , Boeing Computer Services, 565 Andover Park West, Tukwila, WA 98188
A discrete and, as approximation to it, a continuous model for the software reliability growth process are examined. The discrete model is based on independent multinomial trials and concerns itself with the joint distribution of the first occurrence time of its underlying events (bugs). The continuous model is based on the order statistics of N independent nonidentically distributed exponential random variables. It is shown that the spacings between bugs are not necessarily independent or exponentially (geometrically) distributed. However, there is a statistical rationale for viewing them so conditionally. Some identifiability problems are pointed out and resolved. In particular, it appears that the number of bugs in a program is not identifiable. Estimated upper bounds and confidence bounds for the residual program error content are given based on the spacings of the first k bugs removed.
Computer bugs, Random variables, Debugging, Software reliability, Software, Zinc, spacings, Conditional inference, confidence bounds, exponential order statistics (non-i.i.d.), identifiability, multinomial trials, order restricted maximum likelihood estimates
F. Scholz, "Software reliability modeling and analysis," in IEEE Transactions on Software Engineering, vol. 12, no. , pp. 25-31, 1986.