Toward a Unified Approach to Software Reliability Modeling under Imperfect Debugging

Abstract:

Many software reliability growth models (SRGMs) have been developed to estimate some useful measures such as the mean value function, number of remaining faults, and failure detection rate. Most of these models have focused on the failure detection process and not given equal priority to modeling the fault correction process. But, most latent software errors may remain uncorrected for a long time even after they are detected, which increases their impact. The remaining software faults are often one of the most unreliable reasons for software quality. Therefore, we develop a general framework of the modeling of the failure detection and fault correction processes. Furthermore, it is assumed that a detected fault is immediately removed and is perfectly repaired with no new faults being introduced for the traditional SRGMs. In reality, it is impossible to remove all faults from the fault correction process and have a fault-free effect on the software development environment. In order to relax this perfect debugging assumption, we introduce the possibility of imperfect debugging phenomenon. Finally, numerical examples are shown to illustrate the results of the unified approach for integration of the detection and correction process under imperfect debugging.

• Periodical: Applied Mechanics and Materials (Volumes 764-765)
• Pages: 979-982
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.764-765.979
• Online since: May 2015
• Authors: Jung Hua Lo*
• Keywords: Correction Process, Detection, Imperfect Debugging, Non-Homogeneous Poisson Process (NHPP), Software Reliability Growth Models (SRGMs)

References

[1] J. D. Musa, A. Iannino, and K. Okumoto: Software Reliability, Measurement, Prediction and Application (McGraw-Hill 1987).

[2] J. H. Lo, S. Y. Kuo, and C. Y. Huang: Reliability Modeling Incorporating Error Processes for Internet-Distributed Software. IEEE Region 10 International Conference on Electrical and Electronic Technology, (2001) 1-7.

DOI: 10.1109/tencon.2001.949540

[3] J. D. Musa; Software Reliability Engineering: More Reliable Software, Faster Development and Testing (McGraw-Hill 1998).

[4] M. R. Lyu: Handbook of Software Reliability Engineering (McGraw-Hill 1996).

[5] M. Xie and M. Zhao: The Schneidewind Software Reliability Model Revisited. Proceedings of the 3th International Symposium on Software Reliability Engineering, (1992) 184-192.

DOI: 10.1109/issre.1992.285846

[6] M. Ohba and X. Chou: Does Imperfect Debugging Affect Soft-ware Reliability Growth?. Proceedings of the 11th International Conference on Software Engineering, (1989) 237-244.

DOI: 10.1109/icse.1989.714425

[7] X. Zhang, X. Teng, and H. Pham: Considering Fault Removal Efficiency in Software Reliability Assessment. IEEE Trans. on Systems, Man, and Cybernetics-part A, 33, 1 (2003) 114-120.

DOI: 10.1109/tsmca.2003.812597

[8] K. Goseva and K. Trivedi: Failure Correlation in Software Reliability Models. Proceedings of the 10th International Symposium on Software Reliability Engineering, (1999) 232-241.

DOI: 10.1109/issre.1999.809328

[9] R. H. Huo, S. Y. Kuo, and Y. P. Chang: On a Unified Theory of Some Nonhomogeneous Poisson Process Models for Software Reliability, Proceedings of International Conference on Software Engineering: Education & Practice, (1998) 60-67.

DOI: 10.1109/seep.1998.707634

[10] J. H. Lo: A Unified Scheme for Modeling Software Reliability with Various Failure Detection and Fault Correction Rates, International Computer Symposium, (2004) 914-919.

[11] J. H. Lo: Considering Both Failure Detection and Fault Correction Activities in Software Reliability Modeling, Proceedings of the IEEE Region 10 Annual International Conference, (2006) 1-4.

DOI: 10.1109/tencon.2006.344098

[12] J. H. Lo: Effect of the Delay Time in Fixing a Fault on Software Error Models, Proceedings of the 31rd IEEE Annual International Computer Software and Applications Conference, Vol. 2, (2007) 711–716.

DOI: 10.1109/compsac.2007.108