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

1、隨著計(jì)算機(jī)軟件技術(shù)的發(fā)展,軟件產(chǎn)品已滲透到人們?nèi)粘Ｉ畹母鱾€(gè)領(lǐng)域,軟件失效帶給人們的影響越來越大,上至航空,航天,醫(yī)療等領(lǐng)域的重大經(jīng)濟(jì)損失或人員傷亡,下至給人們?nèi)粘Ｉ钤斐傻牟槐恪榱吮Ｕ宪浖目煽啃?必須對(duì)軟件進(jìn)行可靠性測(cè)試,給出軟件的可靠性指標(biāo),衡量是否滿足用戶的要求。
　　 目前,基于馬爾可夫鏈?zhǔn)褂媚Ｐ偷目煽啃詼y(cè)試研究主要集中在兩個(gè)方面:一是對(duì)軟件進(jìn)行馬爾可夫鏈建模,如何使得所建立的模型能精確表現(xiàn)軟件的實(shí)際使用;二是基于馬

2、爾可夫鏈?zhǔn)褂媚Ｐ偷臏y(cè)試方法研究,即根據(jù)模型生成測(cè)試用例及測(cè)試充分性的判定。
　　 本文針對(duì)第二方面進(jìn)行研究,并假設(shè)已得到軟件的馬爾可夫鏈?zhǔn)褂媚Ｐ?。文章主要?nèi)容如下:
　　 首先,詳細(xì)介紹軟件測(cè)試、軟件可靠性等概念,引入軟件可靠性測(cè)試。由軟件可靠性測(cè)試目的,深入分析軟件可靠性測(cè)試的各種特征,明確給出軟件可靠性測(cè)試的概念;
　　 之后,從測(cè)試用例生成和測(cè)試充分性判定兩方面,分析現(xiàn)有基于馬爾可夫模型的可靠性測(cè)試方法,指