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

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

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