基于Markov模型的可靠性測試用例生成技術(shù)研究.pdf

1、軟件可靠性是衡量軟件質(zhì)量的一個重要指標(biāo)，軟件可靠性測試是確保和提高軟件可靠性的一個重要手段，在眾多可靠性測試模型中，Markov模型一直是研究熱點。在基于Markov模型的可靠性測試中，首先要根據(jù)軟件使用情況構(gòu)建相應(yīng)的Markov模型，然后根據(jù)模型生成測試用例，最后執(zhí)行測試用例，統(tǒng)計測試結(jié)果，評估軟件的可靠性。整個測試的關(guān)鍵之一就在于如何生成測試用例。
　　本文研究了現(xiàn)有的可靠性測試流程，對測試用例生成的相關(guān)技術(shù)做了深入探討，并針

2、對測試用例生成的各個環(huán)節(jié)進行優(yōu)化。在模型構(gòu)建階段，提出了一種通過CR值構(gòu)建約束，然后結(jié)合重要度和軌跡熵來優(yōu)化模型的方法。在測試用例生成階段，設(shè)計了一個快速生成測試用例的方案：通過構(gòu)建基礎(chǔ)測試路徑集，然后結(jié)合快速映射的方式加速生成測試用例，取得了良好效果。在充分性判定階段，結(jié)合已有準(zhǔn)則的優(yōu)勢提出了一種混合停止準(zhǔn)則，并給出了一種能根據(jù)期望可靠性和模型復(fù)雜度自適應(yīng)調(diào)節(jié)的閾值方案。最后結(jié)合本文提出的方法，設(shè)計和實現(xiàn)了一個測試用例生成工具MCTG