3.1.6　基于馬爾可夫鏈模型

馬爾可夫鏈模型是一種以統計理論為基礎的統計模型，可以描述軟件的使用，在復雜系統建模及軟件統計測試中得到了廣泛應用。馬爾可夫鏈實際上是一種遷移具有概率特征的有限狀態機，不僅可以根據狀態間的遷移概率自動生成測試用例，還可以分析測試結果。

馬爾可夫鏈模型主要適用于對多種軟件進行統計測試，可以通過仿真得到狀態和遷移覆蓋的平均期望時間，對軟件的性能指標和可靠性指標進行度量，從而有利于在開發早期對大規模軟件系統進行測試時間和費用的規劃。國內有團隊利用受控馬爾可夫鏈理論設計和優化軟件測試策略，提出軟件測試控制論思想，在受控馬爾可夫鏈方法的框架內討論軟件系統的自適應測試，并與隨機測試進行比較，從而發現自適應測試方法相對于傳統的隨機測試方法具有較大的優越性。