基于Markov鏈使用模型的軟件可靠性測試技術研究.pdf

1、隨著我軍武器裝備建設由機械化向信息化、數(shù)字化的跨越，軟件在軍事裝備領域得到了更加廣泛的使用，在一些先進的復雜武器系統(tǒng)中，軟件已成為了武器系統(tǒng)作戰(zhàn)能力和系統(tǒng)性能提升的關鍵。但是，在軟件得到廣泛應用的同時，隨之而來的軟件可靠性問題已成為影響裝備質量的一大難題，嚴重制約了裝備整體可靠性水平的提升。
　　軟件測試是保證軟件質量的重要手段。軟件可靠性測試是為滿足用戶對于軟件的可靠性需求而開展的測試，是保證軟件可靠性質量，提升軟件可靠性水平的

2、重要手段。因此，本文重點圍繞軟件可靠性測試技術研究，對軟件可靠性質量保證進行了探討。
　　首先，在軟件可靠性理論研究的基礎上對軟件可靠性測試的目的、特點及研究重點進行了梳理，并結合軟件工程理論，為完善軟件可靠性測試體系，提出了覆蓋整個軟件研制過程的可靠性測試框架。
　　其次，深入研究分析了“基于操作剖面”和“基于使用模型”的兩種可靠性測試方法，針對軍用裝備軟件的交互性和實時性特點，分析對比兩種方法的優(yōu)劣。選擇了以Markov

3、鏈模型作為軍用軟件可靠性測試建模的重點。
　　之后，根據(jù)某型裝備定位定向系統(tǒng)軟件的可靠性測試建模需求，從軟件的需求規(guī)格入手，詳細探討了該軟件Markov鏈使用模型的構造過程，并提出了改進的Markov鏈使用模型的構造方法，使模型構造更加方便。并以定位定向軟件的Markov鏈使用模型為實例，進行了模型靜態(tài)分析、測試充分性和測試用例自動生成技術的研究。
　　最后，在本文的軟件可靠性測試技術研究基礎上，開發(fā)了基于Markov鏈使用