課件06-軟件可靠性與安全性-測試評價

1、軟件可靠性與安全性第七部分軟件可靠性測評提要軟件可靠性建模軟件可靠性測試軟件可靠性評估32133軟件可靠性測試是面向失效的測試方法為了滿足用戶對軟件的可靠性要求, 通過對軟件進行測試, 發(fā)現(xiàn)并糾正軟件中的缺陷, 提高軟件的可靠性水平, 并驗證它能否達到用戶可靠性要求的軟件測試方法軟件失效的統(tǒng)計特性IBM關(guān)于缺陷與失效的統(tǒng)計研究數(shù)據(jù)v客戶所看到的客戶所看到的57%以上的失效是由占缺陷以上的失效是由占缺陷總數(shù)總數(shù)2%以下的缺陷引起的以下的缺陷引起的v超過總數(shù)超過總數(shù)61%的缺陷只引起低于的缺陷只引起低于3%的客的客戶將會經(jīng)歷的失效戶將會經(jīng)歷的失效v不同的缺陷在所引發(fā)的失效率上存在高達不同的缺陷在所

2、引發(fā)的失效率上存在高達4個數(shù)量級個數(shù)量級的巨大差異的巨大差異軟件可靠性測試目的驗證軟件可靠性滿足給定的要求 評估軟件可靠性水平 預(yù)計軟件可靠性水平 實現(xiàn)軟件可靠性增長 軟件可靠性測試時機軟件可靠性測試與其它測試類型的關(guān)系v關(guān)注的缺陷類型關(guān)注的缺陷類型v測試用例設(shè)計的依據(jù)測試用例設(shè)計的依據(jù)建議的軟件可靠性測試時機v軟件系統(tǒng)測試后期軟件系統(tǒng)測試后期軟件可靠性測試類別軟 件 可 靠 性 驗 證 測 試 ( S o f t w a r e Reliability Demonstration Testing)v在軟件確認階段進行，驗證軟件需求規(guī)范在軟件確認階段進行，驗證軟件需求規(guī)范中軟件可靠性目標(biāo)的滿足

3、情況，在測試過中軟件可靠性目標(biāo)的滿足情況，在測試過程中不進行軟件缺陷消除程中不進行軟件缺陷消除軟 件 可 靠 性 增 長 測 試 ( S o f t w a r e Reliability Growth Testing)v在軟件交付前進行，通過可靠性測試暴露在軟件交付前進行，通過可靠性測試暴露軟件缺陷，采取有效地措施排除失效率較軟件缺陷，采取有效地措施排除失效率較大的缺陷，以提高交付軟件的可靠性大的缺陷，以提高交付軟件的可靠性軟件可靠性驗證測試方案無失效運行時間間隔測試 (Failure-Free Execution Interval Test) 定時截尾可靠性驗證測試 (Fixed-Leng

4、th Reliability Demonstration Test) 序貫可靠性驗證測試(Probability-Ration Sequential Reliability Demonstration Test) 序貫可靠性驗證測試演示圖12010862416140246810規(guī)格化的單位失效數(shù)繼續(xù)繼續(xù)接受接受拒絕拒絕Fail.No.Mcalls atFailureNormalizedUnits1230.003750.006250.0250.751.25 5 Failure intensity objective: 200 failures / Mcalls軟件可靠性測試方法用系統(tǒng)的預(yù)期使用域

5、作為模型來指導(dǎo)測試用例的選擇或生成v基于操作剖面的可靠性測試方法基于操作剖面的可靠性測試方法v基于使用模型的可靠性測試測試基于使用模型的可靠性測試測試根據(jù)失效等級、功能使用頻度和重要性來測試軟件, 可對各種使用條件建模v正常使用情況正常使用情況v危險使用情況危險使用情況(高安全軟件高安全軟件)v惡意使用情況惡意使用情況(特殊安全需求特殊安全需求)基于操作剖面可靠性測試方法用操作剖面描述軟件的使用分層建立操作剖面v客戶剖面客戶剖面(CP, Customer Profile)v用戶剖面用戶剖面(UP, User Profile)v系統(tǒng)模式剖面系統(tǒng)模式剖面(SP, System mode Profi

6、le)v功能剖面功能剖面(FP, Function Profile)v操作剖面操作剖面(OP, Operational Profile)每個操作對應(yīng)若干個運行 剖面的定義二維向量的集合，定義為：vProfile = (item1,p1), (item2,p2), , (itemn，pn)vitemi代表剖面中所包含的互不相交的元素中的一代表剖面中所包含的互不相交的元素中的一個個, 有有:item1item2itemnvpi代表第代表第i個元素的權(quán)值或是發(fā)生的概率個元素的權(quán)值或是發(fā)生的概率, 有有:11niip建立客戶剖面CP = (c1, pc1),(c2, pc2),(cn, pcn)為客戶

7、剖面中的用戶構(gòu)建用戶剖面vUPc1=(u1,pc1_u1),(u2,pc1_u2),(um,pc1_um)vUPc2=(u1,pc2_u1),(u2,pc2_u2),(um,pc2_um)vvUpcn=(u1,pcn_u1),(u2,pcn_u2),(um,pcn_um)建立用戶剖面對相同類型的用戶進行合并, 若用戶ui有m個同類, 則用戶ui出現(xiàn)的概率為：得到用戶剖面vUP = (u1,pu1)，(u2 pu2)，(um pum)njcjuicjuippp1_建立操作剖面同理, 可以得到系統(tǒng)模式剖面、功能剖面和操作剖面vSP = (s1,ps1)，(s2,ps2)，(sn,psn)vFP =

8、 (f1,pf1)，(f2,pf2)，(fn,pfn)vOP = (o1,po1)，(o2 po2)，(on,pon)操作剖面實例確定操作模式確定操作的發(fā)起者選擇表示方法(表格/圖形)創(chuàng)建操作表確定出現(xiàn)率確定出現(xiàn)概率考慮特殊情況操作表例子操作發(fā)起者操作發(fā)起者操作操作用戶用戶電話號碼輸入電話號碼輸入系統(tǒng)管理員系統(tǒng)管理員增加用戶增加用戶刪除用戶刪除用戶電話網(wǎng)電話網(wǎng)處理語音呼叫，無尋呼，有應(yīng)答處理語音呼叫，無尋呼，有應(yīng)答處理語音呼叫，無尋呼，無應(yīng)答處理語音呼叫，無尋呼，無應(yīng)答處理語音呼叫，有尋呼，有應(yīng)答處理語音呼叫，有尋呼，有應(yīng)答處理語音呼叫，有尋呼，有對尋呼的應(yīng)答處理語音呼叫，有尋呼，有對尋呼的應(yīng)

9、答處理語音呼叫，有尋呼，無對尋呼的應(yīng)答處理語音呼叫，有尋呼，無對尋呼的應(yīng)答處理傳真呼叫處理傳真呼叫系統(tǒng)控制器系統(tǒng)控制器審計電話號碼數(shù)據(jù)庫審計電話號碼數(shù)據(jù)庫恢復(fù)硬件失效恢復(fù)硬件失效操作出現(xiàn)頻率操作操作出現(xiàn)率出現(xiàn)率(每小時操作數(shù)每小時操作數(shù))電話號碼輸入電話號碼輸入10000增加訂戶增加訂戶50刪除訂戶刪除訂戶50處理語音呼叫，無尋呼，有應(yīng)答處理語音呼叫，無尋呼，有應(yīng)答18000處理語音呼叫，無尋呼，無應(yīng)答處理語音呼叫，無尋呼，無應(yīng)答17000處理語音呼叫，有尋呼，有應(yīng)答處理語音呼叫，有尋呼，有應(yīng)答17000處理語音呼叫，有尋呼，有對尋呼的應(yīng)答處理語音呼叫，有尋呼，有對尋呼的應(yīng)答12000處理語音

10、呼叫，有尋呼，無對尋呼的應(yīng)答處理語音呼叫，有尋呼，無對尋呼的應(yīng)答10000處理傳真呼叫處理傳真呼叫15000審計電話號碼數(shù)據(jù)庫審計電話號碼數(shù)據(jù)庫900恢復(fù)硬件失效恢復(fù)硬件失效0.1操作出現(xiàn)概率操作操作出現(xiàn)概率出現(xiàn)概率電話號碼輸入電話號碼輸入0.10增加訂戶增加訂戶0.0005刪除訂戶刪除訂戶0.0005處理語音呼叫，無尋呼，有應(yīng)答處理語音呼叫，無尋呼，有應(yīng)答0.18處理語音呼叫，無尋呼，無應(yīng)答處理語音呼叫，無尋呼，無應(yīng)答0.17處理語音呼叫，有尋呼，有應(yīng)答處理語音呼叫，有尋呼，有應(yīng)答0.17處理語音呼叫，有尋呼，有對尋呼的應(yīng)答處理語音呼叫，有尋呼，有對尋呼的應(yīng)答0.12處理語音呼叫，有尋呼，無

11、對尋呼的應(yīng)答處理語音呼叫，有尋呼，無對尋呼的應(yīng)答0.10處理傳真呼叫處理傳真呼叫0.15審計電話號碼數(shù)據(jù)庫審計電話號碼數(shù)據(jù)庫0. 009恢復(fù)硬件失效恢復(fù)硬件失效0.000001準備測試用例估計當(dāng)前版本所需新測試用例的數(shù)量通過隨機選取測試的操作, 為每個操作對應(yīng)若干個運行 在被測系統(tǒng)之間分配新測試用例的數(shù)量在每個系統(tǒng)的操作之間分配新測試用例的數(shù)量指定新的測試用例將新測試用例加入測試用例集充分性準則依據(jù)可靠性要求和評估的置信度確定的執(zhí)行數(shù)量測試剖面和操作剖面吻合需求的覆蓋操作剖面特點優(yōu)點v通過分解，可以處理規(guī)模較大的系統(tǒng)通過分解，可以處理規(guī)模較大的系統(tǒng)v測試用例的規(guī)模較均勻測試用例的規(guī)模較均勻不足

12、v測試執(zhí)行缺乏連續(xù)性測試執(zhí)行缺乏連續(xù)性v高使用概率的功能被重復(fù)測試高使用概率的功能被重復(fù)測試軟件可靠性測試方法基于使用模型的可靠性測試測試v用用Markov鏈描述軟件的使用鏈描述軟件的使用v結(jié)構(gòu)構(gòu)造和統(tǒng)計分配結(jié)構(gòu)構(gòu)造和統(tǒng)計分配v依據(jù)依據(jù)Markov模型上每個狀態(tài)出邊所關(guān)聯(lián)的模型上每個狀態(tài)出邊所關(guān)聯(lián)的遷移概率，通過遍歷使用模型的狀態(tài)可以遷移概率，通過遍歷使用模型的狀態(tài)可以生成測試用例生成測試用例Markov模型未激活未激活終止終止準備準備狀態(tài)狀態(tài)1狀態(tài)狀態(tài)2狀態(tài)狀態(tài)3狀態(tài)狀態(tài)4S,1.00G,0.50B,0.30R,0.20G,1.00A,0.50B,0.40R,0.10R,0.30C,0.25

13、D,0.50E,0.25F,0.70建立Markov模型用Markov鏈描述軟件的使用v結(jié)構(gòu)構(gòu)造結(jié)構(gòu)構(gòu)造v統(tǒng)計分配統(tǒng)計分配結(jié)構(gòu)構(gòu)造微波爐空閑全功率開半功率開時間設(shè)定不可運行可以運行計時運行烹調(diào)完成全功率全功率半功率半功率全功率全功率半功率半功率定時定時定時定時定時定時開門開門關(guān)門關(guān)門開門開門關(guān)門關(guān)門開始開始T0超時超時開門開門統(tǒng)計分配微波爐空閑全功率開半功率開時間設(shè)定不可運行可以運行計時運行烹調(diào)完成全功率全功率,0.50半功率半功率,0.50全功率全功率,0.25半功率半功率,0.25定時定時,0.75定時定時,0.75定時定時,0.45開門開門,0.20關(guān)門關(guān)門,0.35開門開門,0.10關(guān)

14、門關(guān)門,1.00開始開始T0,0.90超時超時,0.98開門開門,0.02生成測試用例通過觸發(fā)當(dāng)前狀態(tài)上的事件, 完成期望的動作, 產(chǎn)生狀態(tài)轉(zhuǎn)移, 來遍歷使用模型, 生成測試用例遍歷使用模型時, 依據(jù)當(dāng)前狀態(tài)上每個出邊所關(guān)聯(lián)的遷移概率, 來確定需要觸發(fā)的事件確定需要觸發(fā)的事件時, 需要同時考慮防護的作用充分性準則依據(jù)可靠性要求和評估的置信度確定的執(zhí)行時間測試剖面和操作剖面吻合滿足對狀態(tài)圖的覆蓋要求狀態(tài)圖覆蓋要求所有狀態(tài)至少訪問一次所有事件至少觸發(fā)一次所有轉(zhuǎn)換至少遍歷一次(包括隱含)所有基本路徑至少覆蓋一次(循環(huán))對防護(Guard)進行測試(MMC/DC、邊界)Markov模型特點優(yōu)點v便于自

15、動化便于自動化v每次測試都是新的每次測試都是新的不足v狀態(tài)圖的空間爆炸問題狀態(tài)圖的空間爆炸問題v以正常測試為主以正常測試為主對使用模型的改進對于操作剖面v采用分類剖面刻畫：功能剖面、數(shù)據(jù)剖面、采用分類剖面刻畫：功能剖面、數(shù)據(jù)剖面、環(huán)境剖面環(huán)境剖面對于Markov模型v多層狀態(tài)圖多層狀態(tài)圖對使用模型的改進將UML用于刻畫使用模型對UML進行改進, 加入統(tǒng)計分布特征用例圖與類圖、狀態(tài)圖、時序圖等相結(jié)合, 刻畫嵌入式軟件的各種運行特性, 用于指導(dǎo)測試設(shè)計測試過程控制準則軟件的每一個版本必須在唯一的統(tǒng)計實驗中進行檢測v一個版本的數(shù)據(jù)只能用于評估該版本的可一個版本的數(shù)據(jù)只能用于評估該版本的可靠性靠性v不

16、同版本的數(shù)據(jù)可用于描述測試過程不同版本的數(shù)據(jù)可用于描述測試過程對不同的測試版本,應(yīng)保持規(guī)格說明、環(huán)境狀況、性能評估依據(jù)的一致性測試用例應(yīng)該像被生成時那樣使用, 不能在測試集合中再挑選測試準備測試用例準備v估計當(dāng)前版本所需新測試用例的數(shù)量估計當(dāng)前版本所需新測試用例的數(shù)量v在被測系統(tǒng)之間分配新測試用例的數(shù)量在被測系統(tǒng)之間分配新測試用例的數(shù)量v在每個系統(tǒng)的操作之間分配新測試用例的在每個系統(tǒng)的操作之間分配新測試用例的數(shù)量數(shù)量v指定新的測試用例指定新的測試用例v將新測試用例加入測試用例集將新測試用例加入測試用例集測試過程準備測試執(zhí)行分配測試時間按次序執(zhí)行測試標(biāo)識系統(tǒng)失效v分析測試輸出的偏離分析測試輸出的

17、偏離v確定哪些偏離是失敗確定哪些偏離是失敗v估計失效出現(xiàn)的時間估計失效出現(xiàn)的時間測試記錄的考慮測試決策可靠性驗證測試可靠性增長測試特殊情況v失效數(shù)據(jù)計算失效數(shù)據(jù)計算v缺陷掩蓋問題缺陷掩蓋問題加速測試有效測試與無效測試v通過測試分類優(yōu)化測試用例集通過測試分類優(yōu)化測試用例集稀有操作和關(guān)鍵操作v非稀有關(guān)鍵操作非稀有關(guān)鍵操作v稀有非關(guān)鍵操作稀有非關(guān)鍵操作v稀有關(guān)鍵操作稀有關(guān)鍵操作稀有關(guān)鍵操作處理基于功能重要度等級分類測試v重要功能具有高的可靠性要求重要功能具有高的可靠性要求, 需要提升需要提升測試量測試量混合測試的解決方法v組合或縮減稀有操作組合或縮減稀有操作v根據(jù)操作的關(guān)鍵程度加權(quán)處理操作剖面根據(jù)操

18、作的關(guān)鍵程度加權(quán)處理操作剖面v按照關(guān)鍵類別將操作分類按照關(guān)鍵類別將操作分類v為稀有關(guān)鍵操作分配指定數(shù)量的測試用例為稀有關(guān)鍵操作分配指定數(shù)量的測試用例提要軟件可靠性建模軟件可靠性測試軟件可靠性評估32133軟件可靠性建?；厩闆r基于對軟件失效特征的理解, 建立軟件可靠性模型, 試圖量化軟件可靠性自1970年代以來, 已經(jīng)開發(fā)了超過200種模型, 但是在軟件可靠性定量評價方面仍然遺留著大量未解決的問題沒有一個適應(yīng)所有情況的單一模型, 也沒有任何模型是完備的, 甚至是典型的建模的目的預(yù)測達到規(guī)定目標(biāo)還需要多少測試時間預(yù)測測試結(jié)束時軟件的期望可靠性建模的基本思想測試時間失效強度目標(biāo)值預(yù)計完成時間當(dāng)前時

19、間當(dāng)前值說明失效過程對影響它的主要因素的通用依賴形式影響失效的主要因素缺陷引入缺陷消除操作環(huán)境失效的隨機性變量的值不確定, 有許多可能的值, 每個值都有相應(yīng)的發(fā)生概率精確值不可預(yù)知, 平均值和離差是可知的不與特定的概率分布相聯(lián)系受測試強度和使用剖面等因素的影響軟件失效的統(tǒng)計特性時間時間失效率失效率硬件硬件軟件軟件(理論理論)軟件軟件(實際實際)模型的應(yīng)用預(yù)計模型估計模型使用時機開發(fā)早期開發(fā)早期測試運行期測試運行期使用目的初始可靠性和失效率初始可靠性和失效率連續(xù)可靠性評價連續(xù)可靠性評價失效數(shù)據(jù)不依賴不依賴依賴依賴輸入數(shù)據(jù)過程或產(chǎn)品數(shù)據(jù)過程或產(chǎn)品數(shù)據(jù)失效數(shù)據(jù)失效數(shù)據(jù)輸出數(shù)據(jù)缺陷密度，總?cè)毕輸?shù)缺陷密

20、度，總?cè)毕輸?shù)全部可靠性相關(guān)度量全部可靠性相關(guān)度量模型性質(zhì)靜態(tài)靜態(tài)動態(tài)動態(tài)推斷方法直接換算直接換算直接可測直接可測實 時 性早期早期晚期晚期精 確 度不確定不確定更好更好模型的典型構(gòu)成模型假設(shè)模型因素數(shù)學(xué)函數(shù)v描述可靠性與因素之間的關(guān)系描述可靠性與因素之間的關(guān)系v通常為高階指數(shù)或?qū)?shù)通常為高階指數(shù)或?qū)?shù)模型參數(shù)估計方式參數(shù)評估v通過系統(tǒng)失效數(shù)據(jù)進行統(tǒng)計推導(dǎo)通過系統(tǒng)失效數(shù)據(jù)進行統(tǒng)計推導(dǎo)參數(shù)預(yù)計v根據(jù)軟件產(chǎn)品屬性和開發(fā)過程確定參數(shù)根據(jù)軟件產(chǎn)品屬性和開發(fā)過程確定參數(shù)值值模型參數(shù)估計方法估計類別v點估計點估計v區(qū)間估計區(qū)間估計估計方法v最大似然法最大似然法v最小二乘法最小二乘法v貝葉斯法貝葉斯法Limi

21、tLimit模型的評價論斷的有效性v基于當(dāng)前數(shù)據(jù)基于當(dāng)前數(shù)據(jù), 預(yù)測失效行為的能力預(yù)測失效行為的能力能力v模型預(yù)測精確度能達到管理者、工程師、模型預(yù)測精確度能達到管理者、工程師、用戶要求的能力用戶要求的能力模型假設(shè)的質(zhì)量可應(yīng)用性簡單性模型的一般特性隨機過程有缺陷清除和無缺陷清除確定參數(shù)模型分類時間域(Time domain)v日歷時間日歷時間v執(zhí)行時間執(zhí)行時間類型(Type)v到指定時間發(fā)生的失效數(shù)分布到指定時間發(fā)生的失效數(shù)分布模型分類類別(Category)v在無限時間內(nèi)發(fā)生的失效數(shù)量是有限的還在無限時間內(nèi)發(fā)生的失效數(shù)量是有限的還是無限的是無限的v對于有限失效，用類對于有限失效，用類(Cla

22、ss)表示，是失表示，是失效強度的時間函數(shù)形式效強度的時間函數(shù)形式v對于無限失效，用族對于無限失效，用族(Family)表示，是失表示，是失效強度的預(yù)期出現(xiàn)失效數(shù)的函數(shù)形式效強度的預(yù)期出現(xiàn)失效數(shù)的函數(shù)形式有限失效模型舉例 類型類泊松二項式其他指數(shù)Musa(1975)Moranda (1975)Schneidewind (1975)Goel-Okumoto (1979)Jelinski-Moranda (1972)Shooman (1972)Goel-Okumoto(1978) Musa(1979)Keiller等等(1983)WeibullSchick-Wolverton(1973)Wagon

23、er (1973)C1Schick-Wlverton(1978)ParetoLittlewood (1981)GammaYamada-Ohba-Osaki(1983)無限失效模型舉例 類型族T1T2T3泊松幾何Moranda (1975)Musa-Okumoto (1984)線性倒數(shù)Littlewood-Verrall (1973)多項式倒數(shù)(二次)Littlewood-Verrall (1973)冪Crow(1974)模型應(yīng)用的考慮沒有普遍適用的可靠性增長模型可靠性增長與具體應(yīng)用相關(guān)使用多個增長模型擬合觀測數(shù)據(jù), 選取與數(shù)據(jù)最匹配的模型提要軟件可靠性建模軟件可靠性測試軟件可靠性評估32133

24、評估過程 檢查數(shù)據(jù) 用模型擬合數(shù)據(jù) 預(yù)測模型參數(shù) 確定擬合模型 評價模型的合理性 進行可靠性評估檢查數(shù)據(jù)研究數(shù)據(jù)特征v數(shù)據(jù)類型數(shù)據(jù)類型(失效數(shù)、失效間隔失效數(shù)、失效間隔)v時間單位時間單位(小時、天、周、月等小時、天、周、月等)v數(shù)據(jù)跟蹤系統(tǒng)數(shù)據(jù)跟蹤系統(tǒng)v數(shù)據(jù)可靠性數(shù)據(jù)可靠性利用散點圖(Scatter Diagram)分析數(shù)據(jù)統(tǒng)計規(guī)律調(diào)整時間單位, 減小數(shù)據(jù)噪聲的影響用模型擬合數(shù)據(jù)基于對測試過程、數(shù)據(jù)、模型假設(shè)的理解來選擇擬合的模型基于對數(shù)據(jù)統(tǒng)計趨勢的分析選擇擬合模型盡量選擇多個模型觀察在不同時間周期模型的擬合程度預(yù)測模型參數(shù)根據(jù)數(shù)據(jù)的性質(zhì)確定使用的方法v點估計點估計v區(qū)間估計區(qū)間估計考慮使用

25、軟件工具輔助確定擬合模型使用預(yù)測參數(shù), 替換選擇模型的參數(shù)值進行反復(fù)擬合試驗得到針對數(shù)據(jù)集的擬合模型評價模型的合理性進行擬合程度檢驗vKolmogorov-Smirnov擬合度檢驗擬合度檢驗D(n)=Maxx(|F*(x)-F(x)|)進行可靠性評估根據(jù)選擇的模型進行可靠性評估根據(jù)其他可得到的信息, 評價預(yù)測的合理性v類似產(chǎn)品的真實情況類似產(chǎn)品的真實情況v相同產(chǎn)品的前一個版本實際情況相同產(chǎn)品的前一個版本實際情況v開發(fā)團隊的主觀評價開發(fā)團隊的主觀評價推薦模型基本執(zhí)行時間模型(Musa, 簡稱: 基本模型)對數(shù)泊松執(zhí)行時間模型(Musa-Okumoto, 簡稱: 對數(shù)模型)推薦模型的基本假設(shè) 失效

26、是獨立的, 并且被遇到的概率是均勻分布 測試空間覆蓋了使用空間(測試從完整的使用輸入集中選取) 每個運行的輸入集是隨機選取的 所有的失效有明確的定義并易于觀察 導(dǎo)致失效的缺陷立即被修正, 否則重復(fù)出現(xiàn)的失效不計算在內(nèi)基本模型001)(0vev()010()0e00R(|) e0e001e00對數(shù)泊松模型1ln1)(0()0e1)(00R(|) 010()11/兩種模型失效強度比較()00平均預(yù)期失效數(shù) 失效強度 ()對數(shù)泊松模型基本模型: 失效強度0: 初始失效強度: 在給定時間點上失效的總平均數(shù)v0: 在無限時間范圍內(nèi)總失效數(shù)兩種模型失效強度比較()00執(zhí)行時間 失效強度 ()基本模型對數(shù)泊

27、松模型: 失效強度0: 初始失效強度: 執(zhí)行時間v0: 在無限時間范圍內(nèi)總失效數(shù)兩種模型平均失效數(shù)比較()v0基本模型基本模型對數(shù)泊松模型對數(shù)泊松模型: 執(zhí)行時間: 在給定時間點上失效的總平均數(shù)v0: 在無限時間范圍內(nèi)總失效數(shù)模型參數(shù)參 數(shù)模 型基本模型 對數(shù)模型初始失效強度初始失效強度00失效強度變化失效強度變化總失效數(shù)總失效數(shù)0失效強度衰減率失效強度衰減率模型參數(shù)預(yù)測(1/3) 初始失效強度0 v0 K0 總失效數(shù)0 v0 0 /B 失效強度衰減率模型參數(shù)預(yù)測(2/3) 程序的線性執(zhí)行頻率 v 程序的平均執(zhí)行率程序的平均執(zhí)行率/ 目標(biāo)指令數(shù)目標(biāo)指令數(shù)I 缺陷暴露率Kv導(dǎo)致失效的導(dǎo)致失效的“

28、程序段程序段”所占的時間比所占的時間比模型參數(shù)預(yù)測(3/3) 固有缺陷數(shù)0 v缺陷播種缺陷播種v通過測試確定缺陷密度，參照軟件規(guī)模、通過測試確定缺陷密度，參照軟件規(guī)模、復(fù)雜度，根據(jù)經(jīng)驗公式推算復(fù)雜度，根據(jù)經(jīng)驗公式推算v利用過程質(zhì)量水平數(shù)據(jù)利用過程質(zhì)量水平數(shù)據(jù) 缺陷衰減因子Bv缺陷減少數(shù)缺陷減少數(shù)/出現(xiàn)的失效數(shù)出現(xiàn)的失效數(shù)數(shù)據(jù)處理示例 總失效數(shù): 136 失效時間(CPU秒)數(shù)據(jù)v3, 33, 146, 227, 342, 351, 353,444, 556, 571, 709, 759, 836 ., 88682 處理v將失效數(shù)每將失效數(shù)每5個分為一組，獲得失效強度、個分為一組，獲得失效強度、

29、累計累計失效分布和平均失效時間累計累計失效分布和平均失效時間v制表制表v繪圖繪圖數(shù)據(jù)表累計失效數(shù)累計失效數(shù)累計時間累計時間失效強度失效強度時間時間53420.014620171.00105710.021834456.50159680.012594769.502019840.0049211476.002530980.0044882541.003050490.0025634073.503553240.0181825186.504063800.0047355852.004576440.0039567012.0050100890.0020458866.5055109820.00559910535.5060125590.00317111770.50失效強度圖示()評估實例1(基本模型)題：假定程序在無限的執(zhí)行時間里將經(jīng)歷100次失效, 在最近的 t 時間單位期間, 發(fā)生50次失效。初始失效強度為10 次失效/CPU小時。計算當(dāng)前(在t) 的失效強度:解：HourCPUfailuresv51005