過去30年來，專家學者提出了許多軟體可靠度成長模型來評估產品的可靠度。事實上，因為錯誤並不一定十分明顯，所以有效率的測試並不是一件容易的事。在除錯過程中，工程師需要分析和找出失效的原因，所以我們不應該忽略錯誤偵測和修正之間所花費的時間。此外，根據我們的研究顯示，軟體除錯流程很類似排隊系統：當測試工程師偵測到錯誤時，他們必須找出錯誤的原因。因此，故障偵測和更正的確需要花費相當的時間。在本篇論文中，我們將以排隊理論的概念推導出新的軟體可靠度成長模型並考慮不同的軟體除錯流程使我們的模型更符合真實的情況。實驗結果顯示，我們所提出的架構有著相當準確的預測能力。
除了軟體可靠度成長模型之外，軟體流程模擬也開始應用在軟體可靠度的領域。有些論文證實排隊理論適用於軟體流程模擬。因此，我們提出了一些模擬程序來分析不同的除錯情況並探討這些情況對於軟體除錯所造成的影響。模擬的結果顯示模擬程序產生的結果和我們所提出的軟體可靠度成長模型近似並且顯示出模擬程序亦有相當不錯的預測能力。

Over the past 30 years, many software reliability growth models (SRGMs) have been proposed for estimation of reliability growth of products during software development processes. In fact, effective debugging will not be easy because the fault may not be immediately obvious. Engineers need some time to read and analyze the software failure data. Thus the time delayed by the fault detection and correction processes should not be negligible. Besides, from our studies, software debugging process is very similar to a queuing system: if test engineers or programmers found errors, they have to isolate the bugs and determine the factors which produce the bugs. Thus the time delayed by the fault detection and correction processes should not be negligible. In this thesis, we will show how to incorporate the concept of queuing theory into software reliability modeling. Based on the concepts, we derive some new software reliability models considering various software debugging processes. Numerical examples are presented and the evaluation results show that the proposed framework to incorporate both fault detection and removal processes for SRGM has a fairly accurate prediction capability. Besides SRGMs, software process simulation is beginning to be used in the software reliability. Thus, we develop simulation procedures to analyze various debugging scenarios. According to the results of simulation procedures, it is found that the results are very close to the proposed models and they also indicate the simulation procedures have good performance.

[1] M. R. Lyu, Handbook of Software Reliability Engineering, McGraw Hill, 1996.
[2] M. Xie, Software Reliability Modeling, World Scientific Publishing Company, 1991.
[3] J.D. Musa, A. Iannino, and K. Okumoto, Software Reliability, Measurement, Prediction and Application, McGraw-Hill, 1987.
[4] S. Yamada, and S. Osaki, “S-shaped Software Reliability Growth Model with Four Types of Software Error Data,” Int. J. Systems Science, 14, 1983, pp. 683-692.
[5] M. Ohba, S. Yamada, K. Takeda, and S. Osaki, “S-Shaped Software Reliability Growth Curve: How Good Is It?,” Proceedings of the 6th IEEE Annual International Computer Software and Applications Conference, 1982, pp. 38-44.
[6] M. Ohba, “Software Reliability Analysis Models,” IBM Journal of Research Development 28, 1984, pp. 428-443.
[7] C. Y. Huang, M. R. Lyu, and S. Y. Kuo, “A Unified Scheme of Some Non-Homogenous Poisson Process Models for Software Reliability Estimation,” IEEE Transactions on Software Engineering, Vol. 29, No. 3, March 2003, pp. 261-269.
[8] C. Y. Huang, C. T. Lin, S. Y. Kuo, M. R. Lyu, and C. C. Sue, “Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags,” Proceedings of the 28th IEEE Annual International Computer Software and Applications Conference (COMPSAC 2004), September 2004, Hong Kong, pp. 186-191.
[9] C. Y. Huang and C. T. Lin, “Software Reliability Analysis by Considering Fault Dependency and Debugging Time Lag,” IEEE Transactions on Reliability, accepted for publication, April 2006.
[10] N. F. Scheidewind, “Fault Correction Profiles,” Proc. of Intl. Symposium on Software Reliability Engineering, Denver, CO, November 2003, pp. 257–267.
[11] K. Z. Yang, An Infinite Server Queueing Model for SoftwareReadiness Assessment and Related Performance Measures, Ph.D. Dissertation, Department of Electrical Engineering and Computer Science, Syracuse University, 1996.
[12] M. Ohba, “Does Imperfect Debugging Affect Software Reliability Growth?,” Proceedings of the 11th International Conference on Software Engineering, May 1989, Pittsburgh, pp. 237-244.
[13] S. S. Gokhale, M. R. Lyu and K. S. Trivedi, "Analysis of Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain," Software Quality Journal, Vol. 12, No. 3, September 2004, pp. 211-230.
66
[14] S. S. Gokhale, "Software Failure Rate and Reliability Incorporating Repair Policies," Proc. of Intl. Symposium on Software Metrics (METRICS 04), September 2004, Chicago, IL, pp. 394-404.
[15] N. F. Schneidewind, "Modeling the Fault Correction Process,” Proc. of Intl. Symposium on Software Reliability Engineering, November 2001, Hong Kong, pp. 185-190.
[16] N. Schneidewind, “Assessing Reliability Risk Using Fault Correction Profiles,” Proc. of Eighth Intl. Symposium on High Assurance Systems Engineering (HASE 04), 2004, pp. 139-148.
[17] S. S. Gokhale and M. R. Lyu, “A Simulation Approach to Structure-Based Software Reliability Analysis,” IEEE Transactions on Software Engineering, Vol. 31, Issue 8, August 2005, pp.643-656.
[18] S. S. Gokhale, M.R. Lyu, and K.S. Trivedi, "Incorporating Fault Debugging Activities into Software Reliability Models: A Simulation Approach," IEEE Transactions on Reliability, Vol. 55, No. 2, March 2006, pp. 281-292.
[19] H. Pham, Software Reliability, Springer-Verlag, 2000.
[20] A. L. Goel, “Software Reliability Models: Assumptions, Limitations, and Applicability,” IEEE Transactions on Software Engineering, Vol. 11, December 1985, pp. 1411-1423.
[21] M. Ohba, “Inflection S-Shaped Software Reliability Growth Models. In: S. Osaki, Y. Hatoyama, Eds., Stochastic Models in Reliability Theory, Springer, Berlin, 1984, pp. 144-162.
[22] S. Yamada, and S. Osaki, “Reliability Growth Models for Hardware and Software Systems Based on Nonhomogeneous Poisson Process: a Survey,” Microelectronic and Reliability, 23, 1983, pp. 91-112.
[23] K. S. Trivedi, Probability and Statistics With Reliability, Queuing, and Computer Science Application, Prentice-Hall, Englewood Cliffs, N.J., 1982.
[24] Dohi, T. Osaki, and K. S. Trivedi, “An Infinite Server Queueing Approach for Describing Software Reliability Growth: Unified Modeling And Estimation Framework,” Proceedings of the 11th Asia-Pacific Software Engineering Conference, December 2004, pp. 110-119.
[25] T. Dohi, T. Matsuoka and S. Osaki,“An Infinite Server Queueing Model for Assessment of the Software Reliability,” Electronics and Communications in Japan, Part 3, Vol. 85, No. 3, 2002, pp. 43-51.
[26] S. Inoue and S. Yamada, “A Software Reliability Growth Modeling Based on Infinite Server Queueing Theory,” Proceedings of the Ninth ISSAT International Conference on Reliablity and Quality in Design, August, 2003, Honolulu, Hawaii, U.S.A, pp. 305-309.
[27] M. I. Kellner, R. J. Madachy, and D. Raffo, “Software Process Simulation Modeling: Why? What? How?,” Journal of Systems and Software, Vol. 46, No. 2-3, 1999, pp. 91-105.
67
[28] G. Antoniol, A. Cimitile, G. A. Di Lucca, and M. Di Penta, “Assessing Staffing Needs for A Software Maintenance Project through Queuing Simulation,” IEEE Transactions on Software Engineering, Vol. 30, No. 1, Jan 2004, :pp. 43-58.
[29] G. Antoniol, G. Casazza, G. A. Di Lucca, M. Di Penta, and F. Rago, "A Queue Theory-Based Approach to Staff Software Maintenance Centers," Proceedings of IEEE International Conference on Software Maintenance, November 2001, Florence Italy, pp. 510-519.
[30] I. Rus, J. S. Collofello, and P. Lakey, "Software Process Simulation for Reliability Strategy Assessment," Journal of Systems and Software, Vol. 46, No.2-3, April 1999, pp. 173-182.
[31] P. J. Boland and N. Chuiv, “Cost Implications of Imperfect Repair in Software Reliability,” International Journal of Reliability and Applications, Vol. 2, No. 3, 2001, pp. 147–160.
[32] M. A. Stutzke and C. S. Smidts, “A Stochastic Model of Fault Introduction and Removal during Software Development,” IEEE Transactions on Reliability, Vol. 50, No. 2, June 2001, pp. 184–193.
[33] C. Y. Huang and C. T. Lin, “Reliability Prediction and Assessment of Fielded Software Based on Multiple Change-Point Models,” Proceedings of the 11th IEEE International Symposium on Pacific Rim Dependable Computing, December 2005, Changsha, Hunan, China, pp. 379-386.
[34] K. Pillai and V. S. S. Nair, “A Model for Software Development Effort and Cost Estimation,” IEEE Transactions on Software Engineering, Vol. 23, No. 8, August 1997, pp. 485-497.
[35] C. Y. Huang, S. Y. Kuo, “Analysis of Incorporating Logistic Testing-Effort Function Into Software Reliability Modeling,” IEEE Trans. on Reliability, Vol. 51, No. 3, September, 2002, pp.261-270.
[36] B. Bunday, Basic Queueing Theory, Edward. Arnold, 1986.