軟件質(zhì)量與質(zhì)量保證(編輯修改稿)
2025-06-15 13:23 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 照用戶的要求和設(shè)計(jì)的目標(biāo)，執(zhí)行其功能的正確程度。一個(gè)可靠的程序應(yīng)要求是正確的、完整的、一致的和健壯的。 ?即：在給定的時(shí)間內(nèi)，程序按照規(guī)定的條件成功地運(yùn)行的概率。 第 10章 軟件質(zhì)量與質(zhì)量保證 21 軟件可靠性定義的數(shù)學(xué)表達(dá) ? 設(shè) R(t)代表在時(shí)間 (0,t)之間的軟件可靠性， P{E}代表事件 E的概率，則軟件可靠性可表示為： R(t)=P{在時(shí)間 (0,t)內(nèi)按規(guī)定條件運(yùn)行成功 } ? 可靠性與軟件內(nèi)部的故障密切相關(guān)，如果軟件在交付使用時(shí)有遺留錯(cuò)誤，則當(dāng)出現(xiàn)某種組合時(shí)，就會(huì)使程序在運(yùn)行中失敗。當(dāng)殘留錯(cuò)誤的數(shù)量一定時(shí)，程序的運(yùn)行時(shí)間越長(zhǎng)，則發(fā)生失效的機(jī)會(huì)就越多，可靠性也隨之下降。設(shè)軟件的故障率不隨時(shí)間而變化，則根據(jù)經(jīng)典的可靠性理論。 R(t)可以表示為時(shí)間與故障率的指數(shù)函數(shù) R(t)= te??te ??第 10章 軟件質(zhì)量與質(zhì)量保證 22 軟件可靠性指標(biāo) ? 軟件可靠性與可用性的定量指標(biāo)，是指能夠以數(shù)字概念來(lái)描述可靠性的數(shù)學(xué)表達(dá)式中所使用的量。下面主要討論常用指標(biāo)平均失效等待時(shí)間 MTTF與平均失效間隔時(shí)間 MTBF。 1. MTTF（ Mean Time To Failure） 平均失效等待時(shí)間 MTTF定義為： 2. MTBF（ Mean Time Betmeen Failure） MTBF是平均失效間隔時(shí)間，它是指兩次相繼失效之間的平均時(shí)間。 ?111?? ??niitnMT T F第 10章 軟件質(zhì)量與質(zhì)量保證 23 軟件可靠性模型 正比于遺留故障數(shù)的宏觀模型 ? 程序的故障率與遺留錯(cuò)誤的數(shù)量成正比，根據(jù)程序中遺留錯(cuò)誤的多少，就可以預(yù)測(cè)程序的可靠性。 ? 設(shè) t=程序的調(diào)試時(shí)間 ET=調(diào)試前的錯(cuò)誤總數(shù) Ec(t)=在時(shí)間 (0,t)期間糾正的錯(cuò)誤 Er(t)=在時(shí)間 t時(shí)的遺留錯(cuò)誤量 IT=程序的長(zhǎng)度或指令的總數(shù) 則 Er(t)= ET Ec(t) 用 除以上述等式兩邊，得到錯(cuò)誤的規(guī)格化值 第 10章 軟件質(zhì)量與質(zhì)量保證 24 軟件可靠性模型 平均失效等待時(shí)間 ? 已知當(dāng)故障率為獨(dú)立于時(shí)間的常數(shù)時(shí)， ? MTTF=1/λ ? 即 ? ? 為簡(jiǎn)化討論，又在時(shí)間 0至 t期間的糾錯(cuò)率為常數(shù)，且等于 ?，則 ? ? 所以，平均故障間隔時(shí)間的模型可簡(jiǎn)寫為： ? ))(/( 1 tIEk cTTM T T F ??????? ?)(c)/( 1 ???? TT IEkM T T F第 10章 軟件質(zhì)量與質(zhì)量保證 25 軟件可靠性模型 錯(cuò)誤植入模型 ? 這類模型的中心思想，是通過估計(jì)殘留錯(cuò)誤的數(shù)量，來(lái)確定程序的可靠性。具體的作法是：測(cè)試之前先在程序中植入一批人為的錯(cuò)誤，在測(cè)試過程中分別統(tǒng)計(jì)出測(cè)試小組的原有錯(cuò)誤和植入錯(cuò)誤，然后由下列計(jì)算式計(jì)算原有錯(cuò)誤。 假設(shè) N=程序中原來(lái)殘留的錯(cuò)誤數(shù)； S=新
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1