嵌入式管控軟件的可靠性設(shè)計(jì)與驗(yàn)證.pdf

1、隨著信息技術(shù)的發(fā)展，以嵌入式系統(tǒng)技術(shù)為代表的計(jì)算機(jī)技術(shù)廣泛地應(yīng)用在我國(guó)的武器裝備系統(tǒng)中，并為其性能帶來(lái)了革命性的變化。同時(shí)，技術(shù)的發(fā)展和應(yīng)用要求的提高，也使武器裝備系統(tǒng)變得越來(lái)越復(fù)雜，對(duì)軟件可靠性的要求也越來(lái)越高。嵌入式管控軟件作為一種實(shí)時(shí)的控制軟件在武器裝備中起著核心的作用，但是目前公開(kāi)發(fā)表的有關(guān)其可靠性的研究成果還很少，所以對(duì)嵌入式管控軟件的可靠性進(jìn)行研究是很有必要且十分重要的。 本文在分析了影響嵌入式管控軟件可靠性的因素后

2、提出了從設(shè)計(jì)和測(cè)試兩個(gè)方面對(duì)其可靠性進(jìn)行保障的解決思路。在其可靠性設(shè)計(jì)中，將面向?qū)ο蟮脑O(shè)計(jì)方法貫徹于軟件設(shè)計(jì)的整個(gè)過(guò)程，并擴(kuò)展了UML以適應(yīng)嵌入式實(shí)時(shí)軟件建模的需要，同時(shí)結(jié)合嵌入式管控軟件特點(diǎn)，提出了提高其可靠性的設(shè)計(jì)方法，并對(duì)其中的重要細(xì)節(jié)進(jìn)行了詳細(xì)的探討。 在嵌入式管控軟件的可靠性驗(yàn)證中，本文丟棄了傳統(tǒng)的通過(guò)軟件可靠性模型進(jìn)行可靠性評(píng)估的方法，通過(guò)對(duì)各個(gè)任務(wù)模塊的可靠性控制來(lái)實(shí)現(xiàn)軟件系統(tǒng)的可靠性要求，提出了將軟件系統(tǒng)的可靠性

3、進(jìn)行分配的可靠性分配模型，并就模型的具體細(xì)節(jié)進(jìn)行闡述。在將軟件的可靠性指標(biāo)分配到各個(gè)任務(wù)模塊之后，通過(guò)統(tǒng)計(jì)測(cè)試的方法將對(duì)任務(wù)模塊的可靠性驗(yàn)證轉(zhuǎn)化為執(zhí)行確定數(shù)量的無(wú)失效測(cè)試用例數(shù)。在測(cè)試用例的生成中，本文根據(jù)任務(wù)模塊的特點(diǎn)，將傳統(tǒng)的運(yùn)行剖面的構(gòu)造方法進(jìn)行簡(jiǎn)化，便利了測(cè)試用例的生成和測(cè)試效率的提高。 最后，本文將提出的嵌入式管控軟件的可靠性設(shè)計(jì)方法和驗(yàn)證方法應(yīng)用到典型的嵌入式管控軟件——干擾控制器的平臺(tái)管控軟件中。結(jié)果表明，該方法可