軟件統(tǒng)計測試模型及其應用研究.pdf

1、隨著計算機技術的日益成熟，各種結構功能復雜的嵌入式系統(tǒng)在很多安全關鍵領域得到越來越多的應用，這些系統(tǒng)一旦失效將給社會帶來無可估量的生命財產(chǎn)損失。如何提高嵌入式軟件的可靠性成為了工業(yè)界和學術界關注的焦點。軟件測試在提高軟件系統(tǒng)可信性工程中扮演著重要角色，基于模型的統(tǒng)計測試作為統(tǒng)計方法在軟件測試上的一種應用以其高效、低耗等優(yōu)點在國內(nèi)外得到了廣泛的應用。
　　 基于此本文重點研究統(tǒng)計測試的自動化問題。主要包括以下內(nèi)容：首先，分析了統(tǒng)計

2、測試各方面的研究現(xiàn)狀和思路，提出測試模型自動優(yōu)化生成的可能性和一種模型優(yōu)化生成的可行框架；其次，基于此框架研究了基于狀態(tài)熵的模型自動優(yōu)化生成方法，具體分析了該方法使用約束的構建準則，測試目標的建立過程以及具體優(yōu)化算法的實施步驟，解決了模型優(yōu)化生成的難題。隨后又提出了一種能夠有效提高測試效率的模型自動優(yōu)化生成方法，研究了高效的優(yōu)化問題求解算法，在求解精度要求不高情況下能夠快速收斂得到最優(yōu)解。最終生成的使用模型基于軟件的真實使用能夠普遍應用

3、于基于Markov使用模型的軟件統(tǒng)計測試過程中，實驗證明本方法不僅能夠提高統(tǒng)計測試的自動化水平并且能夠有效降低模型復雜度從而提高測試效率，節(jié)約測試成本。同時解決了轉移概率未知情況下的平穩(wěn)分布求解問題，通過最大化平穩(wěn)分布熵得到了平穩(wěn)分布的最小偏差估計結果。
　　 最后，在統(tǒng)計測試理論研究的基礎上在Windows下開發(fā)實現(xiàn)了一個基于MicrosoftVisual C++6.0的統(tǒng)計測試自動化工具STATool?？偨Y已有統(tǒng)計測試工具的