SmartOSEK OS可靠性測(cè)試方案.pdf

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

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

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