徐煒珊+于磊+馮俊池+侯韶凡

摘 要：針對(duì)基于Markov鏈模型的軟件測(cè)試技術(shù)在測(cè)試數(shù)據(jù)生成時(shí)不考慮軟件的結(jié)構(gòu)信息，生成的測(cè)試數(shù)據(jù)集對(duì)代碼路徑的覆蓋能力以及缺陷檢測(cè)能力都較低的問(wèn)題，將統(tǒng)計(jì)測(cè)試與基于Markov鏈模型的測(cè)試相結(jié)合，提出了一種新的軟件測(cè)試模型——軟件層次化模型。該模型涵蓋了軟件與外部環(huán)境之間的交互，同時(shí)描述了軟件內(nèi)部結(jié)構(gòu)信息。還給出了該模型測(cè)試數(shù)據(jù)集的生成算法：首先生成符合使用情況的測(cè)試序列，然后為測(cè)試序列生成覆蓋軟件內(nèi)部結(jié)構(gòu)的輸入數(shù)據(jù)。通過(guò)針對(duì)示例軟件的實(shí)驗(yàn)結(jié)果表明，與基于Markov鏈模型的測(cè)試方法對(duì)比，基于軟件層次化模型的測(cè)試在滿足軟件測(cè)試充分性要求的同時(shí)，提高了測(cè)試數(shù)據(jù)集的代碼路徑覆蓋能力和缺陷檢測(cè)能力。

關(guān)鍵詞：軟件測(cè)試；Markov鏈模型；軟件層次化模型；測(cè)試數(shù)據(jù)生成

中圖分類號(hào)：TP311.5

文獻(xiàn)標(biāo)志碼：A

文章編號(hào)：1001-9081（2016）12-3454-07