Abstract
We propose an infinite server queueing model considering the time distribution of fault isolation process based on a concept of the delayed S-shaped SRGM (Software reliability Growth Model) which is one of well-known NHPP (nonhomogeneous Poisson process) models. A number of SRGMs have been proposed as the method of quantitative assessment of software reliability from 1970's. The delayed S-shaped SRGM has been developed for describing a test process consisting of failure detection and fault isolation processes. Based on the delayed S-shaped SRGM, we derive the SRGM considering a probability distribution for fault isolation time per a fault by developing an infinite server queueing model. We show that we can easily analyze a physical interpretation for fault detection phenomenon by using our model. And we also mention that our model is general approach for several SRGMs decribed as NHPPs.
