SmartOSEK OS可靠性測試方案.pdf

1、軟件可靠性測試作為軟件開發(fā)的重要環(huán)節(jié)之一，分析軟件在一定的條件下，在一段特定時間間隔內(nèi)，無失效運(yùn)行的概率。運(yùn)行在汽車控制、醫(yī)護(hù)系統(tǒng)等性命攸關(guān)的系統(tǒng)上的軟件必須進(jìn)行可靠性度量，只有在進(jìn)行了可靠性測試和估計之后才能投入使用。SmartOSEK OS是而向安全關(guān)鍵領(lǐng)域應(yīng)用的嵌入式實時操作系統(tǒng)，有極高的可靠性要求，需要有一套系統(tǒng)化的測試方案來度量其可靠性。
　　 本文在分析了目前嵌入式軟件測試和可靠性工程研究現(xiàn)狀的基礎(chǔ)上，結(jié)合OSEK/

2、VDX標(biāo)準(zhǔn)對于操作系統(tǒng)特性和需求的規(guī)定，針對SmartOSEK．OS設(shè)計和實施了一套系統(tǒng)化的可靠性測試方案和漸進(jìn)式的測試流程。應(yīng)用該方案不僅可以有效地度量SmartOSEK OS的可靠性，推進(jìn)SmartOSEK OS產(chǎn)品化的進(jìn)程，而且可以方便地評估其它符合OSEK/VDX標(biāo)準(zhǔn)的操作系統(tǒng)的可靠性。該方案作為一個通用的測試框架，對于可靠性要求極高的嵌入式安全關(guān)鍵領(lǐng)域具有重要的現(xiàn)實意義。
　　 本文的主要工作可以總結(jié)為以下幾個方面：<

3、br>　　 1)為SmartOSEK OS設(shè)計系統(tǒng)化的可靠性測試方案和漸進(jìn)式的測試流程。
　　 2)為不同的測試對象設(shè)計特定的案例開發(fā)方法，構(gòu)建有效的測試案例集。
　　 3)設(shè)計和開發(fā)測試案例自動生成工具，提高案例的質(zhì)量，加快測試的流程。
　　 4)開發(fā)測試案例自動運(yùn)行平臺，自動運(yùn)行測試案例集，并收集測試結(jié)果。
　　 5)分析測試結(jié)果，根據(jù)可靠性模型度量SmartOSEK OS的可靠性，指導(dǎo)OS的改進(jìn)工