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

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

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

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