實(shí)時(shí)系統(tǒng)嵌入式軟件可靠性分析與測(cè)試案例研究.pdf

1、隨著計(jì)算機(jī)需求的變化及發(fā)展,計(jì)算機(jī)軟件承擔(dān)了越來(lái)越多的功能,軟件規(guī)模有不斷變大趨勢(shì),軟件復(fù)雜度也不斷變高,為計(jì)算機(jī)系統(tǒng)的安全性和可靠性帶來(lái)新的挑戰(zhàn)。實(shí)時(shí)系統(tǒng)是一種能夠?qū)ν獠坑|發(fā)事件在一定的時(shí)間范圍內(nèi)作出響應(yīng)的系統(tǒng),在嵌入式領(lǐng)域的應(yīng)用尤其廣泛?？煽啃允呛饬繉?shí)時(shí)系統(tǒng)的重要指標(biāo),軟件可靠性分析與測(cè)試是保證軟件并提高軟件可靠性的有效手段。實(shí)時(shí)性與嵌入性是實(shí)時(shí)系統(tǒng)嵌入式軟件兩大重要特征,這使得其軟件可靠性分析與測(cè)試除了使用傳統(tǒng)的方法實(shí)現(xiàn)外,還需結(jié)

2、合系統(tǒng)時(shí)間特性以及嵌入式環(huán)境實(shí)現(xiàn)。
　　針對(duì)實(shí)時(shí)系統(tǒng)嵌入式軟件可靠性研究的難點(diǎn),研究軟件可靠性分析與測(cè)試方法,并應(yīng)用于一個(gè)被測(cè)試對(duì)象,驗(yàn)證實(shí)施方法的可行性與實(shí)用性。本課題以傳統(tǒng)方法為基礎(chǔ),使用故障樹分析方法對(duì)實(shí)時(shí)系統(tǒng)嵌入式軟件的實(shí)時(shí)性進(jìn)行可靠性分析;通過(guò)使用剖面方法對(duì)實(shí)時(shí)系統(tǒng)嵌入式軟件測(cè)試建模,并在使用剖面中包含了功能剖面、故障剖面、實(shí)時(shí)剖面,具有一定的創(chuàng)新性。論文的主要研究?jī)?nèi)容如下:
　　1.實(shí)時(shí)系統(tǒng)嵌入式軟件的可靠性分析

3、方法研究。通過(guò)分析對(duì)比目前軟件可靠性分析方法,得出故障樹分析方法在實(shí)時(shí)系統(tǒng)超時(shí)故障分析中具有明顯優(yōu)勢(shì)。本課題將詳細(xì)分析引起實(shí)時(shí)系統(tǒng)超時(shí)故障的原因,結(jié)合軟件故障樹的分析方法,找出在實(shí)時(shí)系統(tǒng)軟件設(shè)計(jì)過(guò)程需要加強(qiáng)的環(huán)節(jié)。
　　2.實(shí)時(shí)系統(tǒng)嵌入式軟件可靠性測(cè)試用例生成方法研究。通過(guò)分析對(duì)比軟件可靠性測(cè)試用例生成方法,指明相對(duì)于運(yùn)行剖面和使用模型而言,使用剖面測(cè)試用例生成方式更具有操作性。論文將實(shí)時(shí)系統(tǒng)功能剖面、故障剖面、實(shí)時(shí)性剖面納入使用