軟件統(tǒng)計(jì)測(cè)試模型及其應(yīng)用研究.pdf

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

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

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