基于馬爾科夫鏈?zhǔn)褂媚Ｐ偷能浖y(tǒng)計(jì)測(cè)試.pdf

1、首先構(gòu)造出軟件的馬爾科夫鏈?zhǔn)褂媚Ｐ?，描述軟件的使用方式，然后根?jù)該使用模型生成測(cè)試用例，實(shí)施測(cè)試后按照統(tǒng)計(jì)學(xué)模型對(duì)測(cè)試時(shí)結(jié)果進(jìn)行分析，從而評(píng)價(jià)軟件可靠性和質(zhì)量。馬爾科夫鏈?zhǔn)褂媚Ｐ陀秒S機(jī)過(guò)程模型來(lái)描述軟件的使用方式。基于該模型的參數(shù)分析有利于驗(yàn)證模型合理性，制定測(cè)試規(guī)劃。已知使用模型，測(cè)試人員可以利用輔助測(cè)試工具自動(dòng)或手動(dòng)生成測(cè)試用例。在基于馬爾科夫鏈?zhǔn)褂媚Ｐ蜕蓽y(cè)試用例的過(guò)程中，使用模型的建立和優(yōu)化是關(guān)鍵問(wèn)題。困難在于：使用模型轉(zhuǎn)移概率

2、的確定和優(yōu)化，本文研究了現(xiàn)有的使用模型轉(zhuǎn)移概率的自動(dòng)生成方法，提出了新的生成方法，取得了一定成果。本文的主要內(nèi)容可以概括為以下幾個(gè)方面： 1．綜述了課題的研究背景。介紹了主要的軟件測(cè)試方法，對(duì)國(guó)內(nèi)外自動(dòng)生成馬爾科夫鏈?zhǔn)褂媚Ｐ娃D(zhuǎn)移概率的研究及統(tǒng)計(jì)測(cè)試工具開發(fā)現(xiàn)狀進(jìn)行了綜述。 2．分析馬爾科夫鏈模型用于指導(dǎo)測(cè)試的優(yōu)勢(shì)所在，討論了馬爾科夫鏈?zhǔn)褂媚Ｐ偷臉?gòu)建，表示方法，系統(tǒng)分析基于馬爾科夫鏈?zhǔn)褂媚Ｐ偷膮?shù)，及其對(duì)測(cè)試規(guī)劃的重要意義

3、，討論了測(cè)試覆蓋問(wèn)題，介紹了基于馬爾科夫鏈?zhǔn)褂媚Ｐ偷臏y(cè)試用例生成方法。 3．分析了馬爾科夫鏈?zhǔn)褂媚Ｐ徒⒑蛢?yōu)化難的問(wèn)題，探討了自動(dòng)生成模型轉(zhuǎn)移概率的可行性，分析了現(xiàn)有的研究成果。改進(jìn)了S．A．Sherer的方法，加以實(shí)現(xiàn)，并評(píng)價(jià)了實(shí)驗(yàn)結(jié)果。該改進(jìn)方法可以利用先驗(yàn)失效成本信息，自動(dòng)生成符合軟件真實(shí)使用并且最大限度減小失效損失的模型轉(zhuǎn)移概率。本文還提出了以符合軟件真實(shí)使用并且模型復(fù)雜度最小為目標(biāo)，自動(dòng)優(yōu)化生成模型轉(zhuǎn)移概率的方法，并加