統(tǒng)計(jì)方法在軟件測試中的研究與實(shí)現(xiàn).pdf

1、軟件測試是軟件工程的一個(gè)重要階段，也是保證軟件質(zhì)量的重要手段，占用了軟件開發(fā)過程中大量資源，然而軟件測試卻缺乏較好的理論基礎(chǔ)，測試用例的選擇往往是根據(jù)測試人員經(jīng)驗(yàn)做出的，充滿了個(gè)人的色彩和主觀性。從而造成了軟件質(zhì)量不符合用戶需求，降低客戶對軟件質(zhì)量滿意度的結(jié)果。 本文提出的基于統(tǒng)計(jì)方法的軟件測試方法，是能生成具備一定充分性的測試用例的方法，是更適合軟件工程實(shí)踐的測試方法。該方法根據(jù)用戶對軟件的使用方式展開，對使用頻繁的操作會(huì)進(jìn)行

2、更多的測試，因此可以有效地發(fā)現(xiàn)那些對軟件可靠性影響較大的錯(cuò)誤。統(tǒng)計(jì)測試首先構(gòu)造出軟件的馬爾科夫鏈?zhǔn)褂媚Ｐ停鶕?jù)該使用模型生成測試用例，實(shí)施測試后按照統(tǒng)計(jì)學(xué)模型對測試結(jié)果進(jìn)行分析，從而評價(jià)軟件可靠性和質(zhì)量。鑒于關(guān)軟件可靠性測試用例充分性準(zhǔn)則的研究較少，本文提出了如何判斷測試用例充分性的新方法。 在研究基于統(tǒng)計(jì)方法的軟件測試基礎(chǔ)上，本文設(shè)計(jì)實(shí)現(xiàn)了一個(gè)基于馬爾科夫鏈模型的統(tǒng)計(jì)測試工具“MBCGA"，它實(shí)現(xiàn)了構(gòu)建軟件馬爾科夫鏈?zhǔn)褂媚Ｐ停?/p>