[2]14184軟件質(zhì)量管理-在線瀏覽
2024-11-10 15:42本頁面
【正文】 分別測試法 第十四章 軟件質(zhì)量管理 19 正比于遺留故障數(shù)的宏觀模型 假設(shè) τ = 程序的調(diào)試時間 ET = 調(diào)試前的錯誤總數(shù) Ec(τ) = 在時間 0 — τ期間糾正的錯誤數(shù) Er(τ) = 在時間 τ時遺留的錯誤數(shù) IT = 程序的長度或指令總數(shù) 則有 Er(τ)= ET Ec(τ) =〉 εr(τ)=ET / IT εc(τ) 因軟件的故障率與遺留錯誤率成正比，故有 λ= Kεr(τ) = K (ET / IT εc(τ)) (K為常數(shù)，可從實驗求得 ) 可得到正比于遺留故障數(shù)的模型： R(t)=e –λt=e –k (ET/IT εc(τ)) 第十四章 軟件質(zhì)量管理 20 平均故障時間模型（ MTTF模型） 軟件可靠性也可用平均故障時間時間 (MTTF)來衡量 . 當(dāng)故障率為獨立于時間的常量時， MTTF=1/λ=1/ K (ET / IT εc(τ)) 第十四章 軟件質(zhì)量管理 21 錯誤植入模型 中心思想：通過估計殘留錯誤的數(shù)量，來確定程序的可靠性。 ? 分別測試法使用兩個測試員 (或測試小組 )，彼此獨立地測試同一個程序的兩個副本，把其中一個測試員發(fā)現(xiàn)的錯誤作為有標(biāo)記的錯誤。 τ=0時錯誤總數(shù) 為 B0 τ= τ1時測試員甲發(fā)現(xiàn)的錯誤數(shù)為 B1 τ= τ1時測試員乙發(fā)現(xiàn)的錯誤數(shù)為 B2 τ= τ1時兩個測試員發(fā)現(xiàn)的錯誤數(shù)為 bc 則 B0 = B1 bcB2第十四章 軟件質(zhì)量管理 23 軟件容錯技術(shù) ? 容錯軟件（有抗故障功能的軟件） ? 屏蔽錯誤 把軟件的錯誤屏蔽掉，使之不致為害 ? 修復(fù)錯誤 能在一定程度上使軟件從錯誤狀態(tài)到正常狀態(tài) ? 減少影響 能在一定程度上使軟件完成預(yù)定的功能 ? 冗余技術(shù) 實現(xiàn)容錯軟件的主要手段 ? 結(jié)構(gòu)冗余 ? 時間冗余 ? 信息冗余 第十四章 軟件質(zhì)量管理 24 結(jié)構(gòu)冗余 M1 M2 M3 V M1 M2 Mn I U u1 u2 u3 I 主模塊 備用 備用 ……… … 靜態(tài)冗余結(jié)構(gòu) 動態(tài)冗余結(jié)構(gòu) ? 結(jié)構(gòu)冗余：利用多余的結(jié)構(gòu)換取可靠性的提高。 ? 中心思想：設(shè)置一個錯誤檢測程序，當(dāng)它檢測到程序運行出錯時，發(fā)出一個錯誤恢復(fù)請求信號，使程序返回重新執(zhí)行。 ? 中心思想 利用附加的冗余信息來校正可能出現(xiàn)的錯誤，其代價是增加系統(tǒng)的計算量和附加信息占用信道的時間。 第十四章 軟件質(zhì)量管理 27 容錯軟件設(shè)計步驟 一般地說，設(shè)計一個容錯軟件須經(jīng)歷以下步驟： ? 通過常規(guī)設(shè)計獲得系統(tǒng)地非容錯結(jié)構(gòu)； ? 分析在系統(tǒng)運行中可能出現(xiàn)的軟、硬件錯誤，確定容錯的范圍； ? 確定采用的冗余技術(shù)，并評估其容錯效果
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1