基于Markov鏈?zhǔn)褂媚Ｐ偷能浖煽啃詼y(cè)試技術(shù)研究.pdf

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

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

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