基于迭代松馳法的測(cè)試用例自動(dòng)生成.pdf

1、隨著本所軟件的規(guī)模不斷增大，軟件質(zhì)量問題越來越引起關(guān)注，對(duì)所編寫的軟件進(jìn)行更加深入的軟件測(cè)試已成為必然趨勢(shì)。在實(shí)際測(cè)試的過程中，單元測(cè)試階段結(jié)構(gòu)覆蓋測(cè)試往往要求語句覆蓋率和分支覆蓋率均達(dá)到100％。然而對(duì)于含有復(fù)雜控制算法的程序，人工編寫測(cè)試用例較為復(fù)雜，很難達(dá)到100％的覆蓋率。 將含有控制算法的程序代碼抽象成約束系統(tǒng)后，發(fā)現(xiàn)導(dǎo)致用例編寫困難的原因是由于存在非線性謂詞函數(shù)。 迭代松弛法由NeelamGupta等人在19

2、98年提出，該方法用線性算術(shù)表示對(duì)謂詞函數(shù)進(jìn)行線性化，能有效的解決上述問題。所以，本文用其作為核心算法，開發(fā)一個(gè)測(cè)試用例自動(dòng)生成工具，工具由五個(gè)模塊組成：靜態(tài)分析模塊、初始化模塊、算法實(shí)現(xiàn)、驅(qū)動(dòng)模塊、分析對(duì)比模塊。靜態(tài)分析模塊主要用來生成路徑映射表、函數(shù)參數(shù)及控制流信息等；初始化模塊主要完成函數(shù)打樁、全局變量初始化和指定路徑；算法實(shí)現(xiàn)完成迭代松弛法的編碼實(shí)現(xiàn)；驅(qū)動(dòng)模塊主要完成程序插裝、腳本生成和程序驅(qū)動(dòng)功能；分析對(duì)比模塊主要完成分析插裝