基于馬爾可夫鏈模型的軟件可靠性測試方法的研究.pdf

1、計算機軟件技術在人們生活各個領域的大量應用，對軟件系統(tǒng)的可靠性提出了很高的要求。但目前，軟件可靠性測試并沒有真正開展，即使在航空、航天、核能、軍用、醫(yī)療等高可靠性領域也是如此。究其原因，在于現有軟件可靠性測試方法存在不足。 基于馬爾可夫鏈模型的可靠性測試方法是軟件可靠性測試的經典方法之一，也是目前最主要和相對成熟的一種可靠性測試方法。本論文對基于馬爾可夫鏈模型的可靠性測試方法進行了探索性的研究和實驗，主要內容如下： 首先

2、，對軟件可靠性和軟件可靠性測試進行介紹。重點分析了軟件可靠性的特征、軟件可靠性的模型表述，闡述了可靠性測試定義、可靠性測試研究的基本問題和可靠性測試步驟等。 其次，分析了基于馬爾可夫鏈模型的測試方法。詳盡闡述了馬爾可夫鏈模型的同時，重點研究了基于馬爾可夫鏈模型測試方法的兩個最主要和最基本的問題：測試充分性判定和測試用例生成算法，并指出了其中的不足。 接著，提出了基于馬爾可夫鏈模型的嚴格測試方法。通過分析現行方法的不足，從