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

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

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

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