運用有限和無限排隊論的軟體可靠性評估

本書將軟體故障檢測和故障修正過程的資源進行區分，即將軟體測試工作量分為兩部分：故障檢測過程所需要的資源稱為故障檢測工作量，故障修正過程所需要的資源稱為故障修正工作量，並分別為它們建立模型。

大多數軟體可靠性增長模型都假設檢測到的故障被立即修正。這個假設與實際的軟體測試情況並不相符。實際上，從故障檢測到故障被修正完成之間會有一定的延遲，而且此延遲受到多種因素的影響。本書使用無限服務台排隊（infinite server queuing,ISQ）模型來解釋這個軟體故障修正延遲，即已檢測到的故障和故障修正人員分別對應於排隊模型的到達顧客和服務人員。此外，書中重點討論影響故障修正延遲的因素——故障檢測工作量和故障修正工作量，並將它們套用到ISQ模型中，提出一個考慮故障檢測工作量和故障修正工作量的基於ISQ的軟體可靠性增長模型，即ISQFDEFCE模型，並對ISQFDEFCE模型做了進一步修正，即在故障修正時引入新故障。

絕大部分軟體可靠性增長模型都假設故障修正率服從同一分布。但是在實際故障修正過程中，故障修正率受多種因素的影響，一旦這些因素髮生變化，軟體的故障修正率也會隨之發生變化，即故障修正率既非不變的又非平穩的，而是可能在某些點發生變化，這就是軟體可靠性建模中的移動點（change point,CP）問題。本書提出在考慮故障檢測工作量和故障修正工作量的基於ISQ的軟體可靠性增長模型基礎上，將移動點套用到軟體故障修正延遲建模過程中。建立基於移動點的ISQFDEFCE的軟體可靠性增長模型，即ISQFDEFCECP模型，並對ISQFDEFCECP模型做了進一步修正，即在故障修正時引入新故障。

基於ISQ的軟體可靠性增長模型假設故障修正資源是足夠的，故障被檢測到後立即分配給故障修正人員進行排除，無須排隊等待。這個假設與軟體故障修正的實際情況並不相符。針對這個假設存在的問題，提出考慮故障修正資源是有限情況下的模型,建立考慮排錯等待延遲的基於有限服務台排隊（finite server queuing,FSQ）的軟體可靠性增長模型，即FSQRWD模型，並對FSQRWD模型做了進一步修正，即在故障修正時引入新故障。

隨著測試的進行，軟體中的故障被逐步排除，軟體的失效率會逐步降低，軟體故障進入等待被修正狀態的速度也會降低，甚至可能會造成故障修正服務台的閒置。因此，在研究軟體故障修正過程建模過程中，需要分析故障修正服務台數量的動態變化對排錯等待延遲、故障修正延遲的影響。針對故障修正服務台數量的調整，利用移動點技術，建立基於移動點的FSQRWD的軟體可靠性增長模型，即FSQRWDCP模型，並對FSQRWDCP模型做了進一步修正，即在故障修正時引入新故障。

圖書目錄

第1章緒論

1.1 軟體可靠性的需求

1.2 軟體可靠性的數學描述

1.3 軟體可靠性增長模型概述

1.3.1 基本問題

運用有限和無限排隊論的軟體可靠性評估

基本介紹

相關詞條

熱門詞條