Lianke Zhou

A Hybrid Queueing Model With Imperfect Debugging For Component Software Reliability Analysis

Abstract With the growing size and complexity of software applications, research in the area of component software reliability analysis has gained prominence. To ensure analytical tractability, traditional approaches usually ignore fault correction process of component software based on simplifying assumptions of instantaneous and perfect debugging. As a result, the estimates obtained from these models tend to be optimistic. To obtain realistic estimates, it is desirable that the assumptions of instantaneous and perfect debugging be amended. In this paper we discuss fault repair policy according to which debugging to various components may be conducted in integration testing of component software. We then propose a hybrid infinite server queueing model to describe fault correction process with consideration of the possibility of imperfect debugging. Based on fault detection process and repair policy, the model can be resolved to represent component software reliability growth during integration testing. F...