1、隨著軟件質(zhì)量日益得到重視,各種測(cè)試和質(zhì)量保證方法被應(yīng)用于軟件質(zhì)量的檢測(cè)和驗(yàn)證。統(tǒng)計(jì)抽樣作為一種傳統(tǒng)的質(zhì)量保證方法,如何應(yīng)用到軟件領(lǐng)域受到關(guān)注。在理論和實(shí)踐中出現(xiàn)了一批利用概率統(tǒng)計(jì)理論改進(jìn)測(cè)試過(guò)程和質(zhì)量評(píng)估技術(shù)的方法,其中最典型的就是統(tǒng)計(jì)使用測(cè)試。該方法基于使用模型將統(tǒng)計(jì)抽樣和可靠性驗(yàn)證過(guò)程引入到軟件測(cè)試中,構(gòu)建一套以統(tǒng)計(jì)抽樣為核心的測(cè)試、評(píng)估體系。實(shí)踐表明該方法是一種現(xiàn)實(shí)可行的軟件測(cè)試方法和可靠性驗(yàn)證技術(shù)。統(tǒng)計(jì)使用測(cè)試作為一種系統(tǒng)級(jí)的隨

2、機(jī)測(cè)試方法,需要較高的前期投入,測(cè)試成本較高,一般應(yīng)用在對(duì)可靠性有嚴(yán)格要求的系統(tǒng)中。另外一種統(tǒng)計(jì)測(cè)試方法——統(tǒng)計(jì)結(jié)構(gòu)測(cè)試則是一種輕量級(jí)的,適用于測(cè)試軟件單元和模塊的測(cè)試方法,也可以視為是傳統(tǒng)隨機(jī)測(cè)試的統(tǒng)計(jì)版本。 本文首先闡述了統(tǒng)計(jì)測(cè)試及其關(guān)鍵技術(shù)的研究狀況。然后重點(diǎn)研究了統(tǒng)計(jì)測(cè)試中的核心問(wèn)題,即測(cè)試剖面的分析和生成。測(cè)試剖面指導(dǎo)隨機(jī)測(cè)試用例的生成和選擇,決定了統(tǒng)計(jì)測(cè)試的性能。為了充分發(fā)掘統(tǒng)計(jì)測(cè)試的優(yōu)勢(shì),使用盡量少的測(cè)試資源達(dá)到測(cè)

3、試目的,對(duì)測(cè)試剖面的優(yōu)化成為必需。另一方面,不論是使用測(cè)試還是統(tǒng)計(jì)結(jié)構(gòu)測(cè)試,都可以定義定量的測(cè)試質(zhì)量以及通過(guò)測(cè)試剖面估計(jì)測(cè)試質(zhì)量的方法,這為我們使用數(shù)學(xué)方法優(yōu)化或計(jì)算測(cè)試剖面提供了可能。 Markov模型的靜態(tài)參數(shù)揭示了使用模型的系統(tǒng)特性和測(cè)試特性。各種靜態(tài)參數(shù)都可以通過(guò)Markov理論進(jìn)行分析和計(jì)算。然而即便通過(guò)計(jì)算靜態(tài)參數(shù)獲得了模型性能的量化表示,目前仍缺乏有效的方法來(lái)調(diào)整測(cè)試剖面使其符合需要。測(cè)試剖面的調(diào)整和優(yōu)化可以視為靜

4、態(tài)分析的逆向過(guò)程。通過(guò)建立測(cè)試剖面中轉(zhuǎn)移概率之間的約束關(guān)系,使用量化的靜態(tài)參數(shù)作為優(yōu)化目標(biāo),本文建立了一套基于隨機(jī)搜索的測(cè)試剖面優(yōu)化方法。 統(tǒng)計(jì)結(jié)構(gòu)測(cè)試具有和使用測(cè)試不同的測(cè)試目的,其測(cè)試剖面的優(yōu)化問(wèn)題也與使用測(cè)試不同。使用覆蓋分析可以建立以提高最小到達(dá)概率為目的的測(cè)試質(zhì)量?jī)?yōu)化目標(biāo)。以此為測(cè)試質(zhì)量標(biāo)準(zhǔn)我們使用兩種方法計(jì)算了優(yōu)化的測(cè)試剖面。 目前的統(tǒng)計(jì)測(cè)試自動(dòng)化研究集中在使用模型的自動(dòng)化構(gòu)造,靜態(tài)參數(shù)的計(jì)算,測(cè)試用例的生成