軟件質(zhì)量與可靠性ppt課件-資料下載頁(yè)
2025-05-05 22:16本頁(yè)面
【正文】 身錯(cuò)誤的作用（軟件錯(cuò)誤）具有屏蔽能力，則稱此軟件為具有容錯(cuò)功能的軟件，即容錯(cuò)軟件。 （ 2）規(guī)定功能的軟件，在一定程度上能從錯(cuò)誤狀態(tài)自動(dòng)恢復(fù)到正常狀態(tài)，則稱之為容錯(cuò)軟件。 （ 3）規(guī)定功能的軟件，在因錯(cuò)誤而發(fā)生錯(cuò)誤時(shí)，仍然能在一定程度上完成預(yù)期的功能，則把該軟件稱為容錯(cuò)軟件。 （ 4）規(guī)定功能的軟件，在一定程度上具有容錯(cuò)能力，則稱之為容錯(cuò)軟件。 容錯(cuò)的一般方法 結(jié)構(gòu)冗余 (1)靜態(tài)冗余。常用的有：三模冗余 TMR（ Triple Moduler Redundancy）和多模冗余。 (2)動(dòng)態(tài)冗余。動(dòng)態(tài)冗余的主要方式是多重模塊待機(jī)儲(chǔ)備，當(dāng)系統(tǒng)檢測(cè)到某工作模塊出現(xiàn)錯(cuò)誤時(shí)，就用一個(gè)備用的模塊來(lái)頂替它并重新運(yùn)行。 (3)混合冗余。它兼有靜態(tài)冗余和動(dòng)態(tài)冗余的長(zhǎng)處。 信息冗余 為檢測(cè)或糾正信息在運(yùn)算或傳輸中的錯(cuò)誤須外加一部分信息，這種現(xiàn)象稱為信息冗余。 時(shí)間冗余 時(shí)間冗余是指以重復(fù)執(zhí)行指令（指令復(fù)執(zhí)）或程序（程序復(fù)算）來(lái)消除瞬時(shí)錯(cuò)誤帶來(lái)的影響。 冗余附加技術(shù) 冗余附加技術(shù)是指實(shí)現(xiàn)上述冗余技術(shù)所需的資源和技術(shù)。 容錯(cuò)軟件的設(shè)計(jì)過程 容錯(cuò)系統(tǒng)的設(shè)計(jì)過程包括以下設(shè)計(jì)步驟： （ 1）按設(shè)計(jì)任務(wù)要求進(jìn)行常規(guī)設(shè)計(jì)，盡量保證設(shè)計(jì)的正確。 按常規(guī)設(shè)計(jì)得到非容錯(cuò)結(jié)構(gòu)，它是容錯(cuò)系統(tǒng)構(gòu)成的基礎(chǔ)。在結(jié)構(gòu)冗余中，不論是主模塊還是備用模塊的設(shè)計(jì)和實(shí)現(xiàn)，都要在費(fèi)用許可的 條件下，用調(diào)試的方法盡可能提高可靠性。 （ 2）對(duì)可能出現(xiàn)的錯(cuò)誤分類，確定實(shí)現(xiàn)容錯(cuò)的范圍。 對(duì)可能發(fā)生的錯(cuò)誤進(jìn)行正確的判斷和分類，例如，對(duì)于硬件的瞬時(shí)錯(cuò)誤，可以采用指令復(fù)執(zhí)和程序復(fù)算；對(duì)于永久錯(cuò)誤，則需要采用備份替換或者系統(tǒng)重構(gòu)。對(duì)于軟件來(lái)說(shuō)，只有最大限度地弄清錯(cuò)誤和暴露的規(guī)律，才能正確地判斷和分類，實(shí)現(xiàn)成功的容錯(cuò)。 （ 3）按照“成本 —— 效率”最優(yōu)原則，選用某種冗余手段（結(jié)構(gòu)、信息、時(shí)間）來(lái)實(shí)現(xiàn)對(duì)各類錯(cuò)誤的屏蔽。 （ 4）分析或驗(yàn)證上述冗余結(jié)構(gòu)的容錯(cuò)效果。如果效果沒有達(dá)到預(yù)期的程度，則應(yīng)重新進(jìn)行冗余結(jié)構(gòu)設(shè)計(jì)。如此反復(fù)，直到有一個(gè)滿意的結(jié)果為止。 認(rèn)證費(fèi)用 ? 任何企業(yè)申請(qǐng) CMM 認(rèn)證必須從 2 級(jí)開始，一級(jí)級(jí)向上評(píng)，不能越級(jí)評(píng)審。 ? 每一個(gè) CMM 等級(jí)評(píng)估周期（從準(zhǔn)備到完成）約需 1130 個(gè)月。 ? 每一級(jí)認(rèn)證費(fèi)用約需 10 萬(wàn)美元 國(guó)內(nèi) CMM 認(rèn)證鼓勵(lì)政策 ? 國(guó)務(wù)院關(guān)于 “ 鼓勵(lì)軟件產(chǎn)業(yè)和集成電路產(chǎn)業(yè)發(fā)展的若干政策 ” 18 號(hào)文件出臺(tái)后，各地根據(jù)文件精神，陸續(xù)制定了 CMM 認(rèn)證方面的鼓勵(lì)政策，依據(jù)各地的不同情況，具體補(bǔ)貼金額有所不同。 ? 北京市軟件產(chǎn)業(yè)基地 2022 年對(duì)基地確定的重點(diǎn)企業(yè)通過二級(jí)認(rèn)證的，由科技經(jīng)費(fèi)給予 20 萬(wàn)元左右的補(bǔ)貼，對(duì)通過三級(jí)認(rèn)證的企業(yè)給予 30 萬(wàn)元左右的補(bǔ)貼。北京中關(guān)村科技園區(qū)海 淀園管委會(huì)對(duì)在海淀園登記注冊(cè)的新技術(shù)企業(yè)通過 CMM 認(rèn)證的，給予 10 萬(wàn)元的獎(jiǎng)勵(lì)。 ? 珠海 : 對(duì)通過 CMM2 級(jí)的企業(yè)一次性補(bǔ)貼 50 萬(wàn)元。 ? 廣州：通過 CMM 的企業(yè)一次性獎(jiǎng)勵(lì) 30 萬(wàn)元 ? 上海：對(duì)通過 CMM3 補(bǔ)助 40 萬(wàn)； CMM4 補(bǔ)助 60 萬(wàn)； CMM5 補(bǔ)助 80 萬(wàn)元。 軟件可靠性 ? 可靠性概念 ? 可靠性模型 ? 程序正確性證明 軟件質(zhì)量管理標(biāo)準(zhǔn) ? 軟件質(zhì)量國(guó)際標(biāo)準(zhǔn) ? ISO 900 ISO 90003和 ISO 90012022 ? ISO 9001和 CMM標(biāo)準(zhǔn)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1