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

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

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