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

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

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