運用有限和無限排隊理論方法與模擬程序於軟體可靠度之預測和評估

Software Reliability Prediction and Assessment by Using Both Finite and Infinite Server Queuing Approaches and Simulation Procedures

黃威智(Huang Wei-Chih)

指導教授 ： 黃慶育

國立清華大學/電機資訊學院/資訊工程學系/碩士(2006年)

https://doi.org/10.6843/NTHU.2006.00492

摘要

過去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.

並列關鍵字

Queuing Theory ； Software Reliability Growth Model ； Software Debugging ； Non-homogeneous Poisson Process

參考文獻

[1] M. R. Lyu, Handbook of Software Reliability Engineering, McGraw Hill, 1996.

[2] M. Xie, Software Reliability Modeling, World Scientific Publishing Company, 1991.

[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.

[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.