13.2.4 軟件可靠性模型舉例
1、模型假設(shè)
JM 模型的基本假設(shè)如下:
1. 初始錯(cuò)誤個(gè)數(shù)為一個(gè)未知的常數(shù)。
2. 發(fā)現(xiàn)錯(cuò)誤立即被完全排除,并且不引入新的錯(cuò)誤,排除時(shí)間忽略不記,因此每次排錯(cuò)后就要減 1。
3. 失效率剩余的錯(cuò)誤個(gè)數(shù)成正比。
2、函數(shù)表達(dá)式。
軟件可靠性模型并不成熟,定量分析方法和數(shù)學(xué)模型要在實(shí)踐中不斷加以驗(yàn)證和修正。
不同類型的軟件,應(yīng)用方式也有很大區(qū)別。
13.2.5 軟件可靠性測(cè)試概述
可靠性測(cè)試 由可靠性目標(biāo)的確定、運(yùn)行剖面的開(kāi)發(fā)、測(cè)試用例的設(shè)計(jì)、測(cè)試實(shí)施、測(cè)試結(jié)果的分析 等主要活動(dòng)組成。
軟件可靠性測(cè)試 還必須考慮對(duì)軟件開(kāi)發(fā)進(jìn)度和成本的影響,最好是在受控的自動(dòng)測(cè)試環(huán)境下,由專業(yè)測(cè)試機(jī)構(gòu)完成。
13.2.6 定義軟件運(yùn)行剖面
弧 用來(lái)連接狀態(tài)并表示由各種激勵(lì)導(dǎo)致的轉(zhuǎn)換,將轉(zhuǎn)換概率分配給每個(gè)弧。
每類用戶都可能以不同的方式使用系統(tǒng)。
兩種類型分層形式:用戶級(jí)分層、用法級(jí)分層。
用法級(jí)分層依賴于在測(cè)試狀態(tài)下系統(tǒng)能做什么。
用戶級(jí)分層考慮各種類型的用戶,以及他們?nèi)绾问褂孟到y(tǒng)。
這些概率估計(jì)主要是基于如下幾個(gè)方面:
1、從現(xiàn)有系統(tǒng)收集到的數(shù)據(jù)。
2、與用戶的交談或?qū)τ脩暨M(jìn)行觀察獲得的信息。
3、原型使用與測(cè)試分析的結(jié)果。
4、相關(guān)領(lǐng)域?qū)<业囊庖?jiàn)。
13.2.7 可靠性測(cè)試的實(shí)施
有必要檢查軟件需求與文檔是否一致,檢查軟件開(kāi)發(fā)過(guò)程中形成的文檔的準(zhǔn)確性、完整性、一致性。
可靠性測(cè)試依賴于軟件的可測(cè)試性。
為了獲得更多的可靠數(shù)據(jù),應(yīng)該使用多態(tài)計(jì)算機(jī)同時(shí)運(yùn)行軟件,以增加累計(jì)時(shí)間。
用時(shí)間定義的軟件可靠性數(shù)據(jù)分為4類:
1、失效時(shí)間數(shù)據(jù)。
2、失效間隔時(shí)間數(shù)據(jù)。
3、分組時(shí)間內(nèi)的失效數(shù)據(jù)。
4、分組時(shí)間的累計(jì)失效數(shù)。
這 4類數(shù)據(jù)可以相互轉(zhuǎn)化。
測(cè)試過(guò)程中必須真實(shí)地進(jìn)行記錄,每個(gè)測(cè)試記錄必須包含如下信息:
1、測(cè)試時(shí)間。
2、含有測(cè)試用例的測(cè)試說(shuō)明或標(biāo)識(shí)。
3、所有與測(cè)試有關(guān)的測(cè)試結(jié)果,包括失效數(shù)據(jù)。
4、測(cè)試人員。
測(cè)試活動(dòng)結(jié)束后要編寫《軟件可靠性測(cè)試報(bào)告》具備如下內(nèi)容:
1、軟件產(chǎn)品標(biāo)識(shí)。
2、測(cè)試環(huán)境配置(硬件和軟件)。
3、測(cè)試依據(jù)。
4、測(cè)試結(jié)果。
5、測(cè)試問(wèn)題。
6、測(cè)試時(shí)間。
相關(guān)推薦:北京 | 天津 | 上海 | 江蘇 | 山東 |
安徽 | 浙江 | 江西 | 福建 | 深圳 |
廣東 | 河北 | 湖南 | 廣西 | 河南 |
海南 | 湖北 | 四川 | 重慶 | 云南 |
貴州 | 西藏 | 新疆 | 陜西 | 山西 |
寧夏 | 甘肅 | 青海 | 遼寧 | 吉林 |
黑龍江 | 內(nèi)蒙古 |