運(yùn)用有限和無限排隊論的軟件可靠性評估

　　本書研究如何將故障檢測工作量、故障修正工作量、故障修正延遲和排錯等待延遲考慮到基于排隊論的軟件可靠性增長模型中。 測試工作量是影響測試過程的重要因素，與日歷時間相比，測試工作量隨測試時間的變化情況對軟件可靠性增長模型具有顯著影響。在軟件測試中，適當(dāng)規(guī)模的軟件項目在系統(tǒng)測試過程中通常由不同的團(tuán)隊人員進(jìn)行故障檢測和故障修正。因此可以認(rèn)為，軟件故障檢測資源和故障修正資源是相互獨立的資源。本書將軟件故障檢測和故障修正過程的資源進(jìn)行區(qū)分，即將軟件測試工作量分為兩部分：故障檢測過程所需要的資源稱為故障檢測工作量，故障修正過程所需要的資源稱為故障修正工作量，并分別為它們建立模型。 大多數(shù)軟件可靠性增長模型都假設(shè)檢測到的故障被立即修正。這個假設(shè)與實際的軟件測試情況并不相符。實際上，從故障檢測到故障被修正完成之間會有一定的延遲，而且此延遲受到多種因素的影響。本書使用無限服務(wù)臺排隊（infinite server queuing，ISQ）模型來解釋這個軟件故障修正延遲，即已檢測到的故障和故障修正人員分別對應(yīng)于排隊模型的到達(dá)顧客和服務(wù)人員。此外，書中重點討論影響故障修正延遲的因素——故障檢測工作量和故障修正工作量，并將它們應(yīng)用到ISQ模型中，提出一個考慮故障檢測工作量和故障修正工作量的基于ISQ的軟件可靠性增長模型，即ISQFDEFCE模型，并對ISQFDEFCE模型做了進(jìn)一步修正，即在故障修正時引入新故障。 絕大部分軟件可靠性增長模型都假設(shè)故障修正率服從同一分布。但是在實際故障修正過程中，故障修正率受多種因素的影響，一旦這些因素發(fā)生變化，軟件的故障修正率也會隨之發(fā)生變化，即故障修正率既非不變的又非平穩(wěn)的，而是可能在某些點發(fā)生變化，這就是軟件可靠性建模中的移動點（change point，CP）問題。本書提出在考慮故障檢測工作量和故障修正工作量的基于ISQ的軟件可靠性增長模型基礎(chǔ)上，將移動點應(yīng)用到軟件故障修正延遲建模過程中。建立基于移動點的ISQFDEFCE的軟件可靠性增長模型，即ISQFDEFCECP模型，并對ISQFDEFCECP模型做了進(jìn)一步修正，即在故障修正時引入新故障。

暫缺《運(yùn)用有限和無限排隊論的軟件可靠性評估》作者簡介