An infinite server queueing model considering time distribution of fault isolation process for software reliability assessment

摘要

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 described as NHPPs.