軟件可靠性驗證測試中降低測試用例量方法研究.pdf

1、可信軟件目前廣泛應(yīng)用于社會生活的各個領(lǐng)域，與硬件可靠性快速提升相比，軟件可靠性的發(fā)展相對滯后，已成為制約軟件可信性水平進(jìn)一步提高的瓶頸。軟件可靠性測試在提升軟件可靠性水平中扮演著重要的角色，一般可分為軟件可靠性增長測試和軟件可靠性驗證測試。本文旨在針對可信軟件驗證測試階段，所需測試用例量大、測試持續(xù)周期長的情況，在保證可靠性指標(biāo)的前提下，給出兩種有效降低測試用例量的方法，并提出通過使用第二類極大似然估計理論對兩種方法進(jìn)行優(yōu)選，從而為解決

2、軟件可靠性驗證測試階段降低測試用例量的問題提供新的技術(shù)途徑和實現(xiàn)手段。論文的主要研究內(nèi)容和貢獻(xiàn)如下： 首先，本文重點研究了兩種目前常用的產(chǎn)生測試用例的方法，即基于軟件運行剖面的測試用例產(chǎn)生方法和基于Markov鏈?zhǔn)褂媚Ｐ偷目煽啃詼y試用例產(chǎn)生方法。并針對后一種方法設(shè)計并給出應(yīng)用示例，通過對示例模型的分析，發(fā)現(xiàn)使用測試鏈到使用鏈?zhǔn)諗繙?zhǔn)則確定測試用例量的方法存在缺陷，并且也不能有效的降低測試用例數(shù)目。 其次，為了在不降低可靠性

3、驗證測試指標(biāo)的前提下減少測試用例量、縮短驗證測試持續(xù)期，本文提出兩種基于先驗貝葉斯統(tǒng)計學(xué)方法的可靠性驗證測試用例產(chǎn)生方法，即基于先驗矩超參數(shù)計算的先驗分布確定方法和基于共軛最大熵超參數(shù)計算的先驗分布確定方法，并分別在軟件離散執(zhí)行和連續(xù)執(zhí)行兩種情況下予以闡述。最后提出基于第二類極大似然估計理論的先驗分布優(yōu)選方法，擇優(yōu)選取上述兩種可靠性驗證測試用例產(chǎn)生方法。 再次，為了驗證基于先驗貝葉斯的統(tǒng)計推斷方法比無先驗知識的統(tǒng)計推斷方法在可靠