使用有限伺服器排隊模型於軟體偵錯與移除過程之可靠度分析與應用

Reliability Analysis and Application of Using Finite Server Queuing Models in the Detection and Removal Processes of Software Faults

郭子瑜(Tzu-Yu Kuo)

指導教授 ： 黃慶育

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

摘要

在軟體測試以及其被釋出後的後續維護中，軟體錯誤的偵測與移除皆扮演著舉足輕重的角色。過去三十年來，許多研究人員主要使用被假設為非齊次卜瓦松過程的軟體可靠度成長模型來研究此類偵錯與除錯的活動。此外，許多軟體可靠度成長模型為了簡化模型，在除錯過程中有著一個共通的假設，亦即忽略除錯的所需時間。然而，在實際軟體開發過程中除錯的所需時間應該被納入考量，這是因為當軟體失效發生的時候，開發者需要時間識別出這些軟體失效，進而除去其形成原因。
在此學位論文中，我們將應用排隊理論來推導有限伺服器排隊模型，進而使用這個模型當作軟體可靠度量化的指標；同時，此種模型也會將除錯的時間納入考量。我們也會證明此模型能夠幫助開發者預測對於每一個偵測到錯誤之回應時間，也能夠知道除錯的效率。以上這些指標能夠幫助計畫經理設立合理的開發時程以及妥善的人力資源配置。實驗的結果也證明結合偵錯與除錯過程的有限伺服器排隊模型具有準確地預估能力以及高度的適應性。

關鍵字

排隊理論 ； 軟體可靠度模型 ； 有限伺服器 ； 無限伺服器

並列摘要

Fault detection and removal play major roles in software testing as well as follow-up maintenance after software release. Over the past three decades, researchers have been studying fault detection removal using mainly the software reliability growth models (SRGMs) that are assumed to be a non-homogeneous Poisson process. In addition, many of the SRGMs simplify the models by ignoring the fault correction time in the software debugging process. However, the fault correction time should be considered in practical software development because when failures occur in the test phase, it takes time for the developers to identify the failures and remove the corresponding root causes.
This thesis applied the queueing theory and introduced a finite server queueing (FSQ) model that took the fault correction time into consideration. The model was adopted to predict the possible fault detection and removal behavior as a quantitative method. We verified that the FSQ model helps developers to anticipate in the possible response time of each detected fault and the fault correcting efficiency. This assists project managers to set up reasonable schedules and allocate proper personnel resources. The obtained result showed that the FSQ model which incorporated the detection and removal processes exhibited an accurate prediction ability and high adaptability.

並列關鍵字

queueing theory ； SRGM ； finite queueing ； infinite queueing

參考文獻

[13] T. Dohi, T. Matsuoka, and S. Osaki, “An Infinite Server Queueing Model for Assessment of the Software Reliability,” Electronics and Communications in Japan (Part III: Fundamental electronic Science), Vol. 85, No.3, pp. 43-51, 2002.

[2] S.Kan, Metrics and Models in Software Quality Engineering, Addison Wesley, 1995.

[3] CY. Huang, and CT. Lin, “software reliability analysis by considering fault dependency and debugging time lag,” IEEE Trans. on Reliability, Vol. 55, No.3, pp.436-450, Sept. 2006.

[5] S. Yamada, M. Ohba, and S. Osaki, “S-shaped reliability growth modeling for software error detection,” IEEE Trans. on Reliability, Vol. R-32, No.5, pp.475-478, 1983.

[6] M. Ohba, “Software reliability analysis models,” IBM Journal of Research and Development, Vol. 28, No 4, pp. 428-443, July, 1984.