1、軟件測(cè)試是保證軟件質(zhì)量和正確性的重要手段。隨著人們對(duì)其重要性的認(rèn)識(shí)越來越深刻，它在整個(gè)軟件開發(fā)周期中所占的比重日益增大。其中，測(cè)試數(shù)據(jù)生成是軟件測(cè)試的核心與關(guān)鍵，直接影響到軟件測(cè)試的效率和效果，而手工生成測(cè)試數(shù)據(jù)，將花費(fèi)大量的人力和物力。因此，研究測(cè)試數(shù)據(jù)自動(dòng)生成方法，具有十分重要的理論意義和廣闊的應(yīng)用前景。 目前測(cè)試數(shù)據(jù)自動(dòng)生成方法多是針對(duì)數(shù)值型數(shù)據(jù)，如整型數(shù)據(jù)、實(shí)型數(shù)據(jù)等。但在實(shí)際應(yīng)用中，指針和動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)使用較為廣泛，并且

2、現(xiàn)有的一些方法在處理動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)、解決指針別名等方面的效率較低，這在一定程度上限制了軟件測(cè)試數(shù)據(jù)生成方法的應(yīng)用。 為此，本課題針對(duì)動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)，探討了一種新的測(cè)試數(shù)據(jù)自動(dòng)生成方法。本方法以面向目標(biāo)為測(cè)試準(zhǔn)則，共包含四個(gè)主要部分：測(cè)試路徑生成、路徑約束收集、路徑約束解決和測(cè)試數(shù)據(jù)生成。首先，本課題探討了一種新的測(cè)試路徑生成方法，根據(jù)程序控制流分析和數(shù)據(jù)流分析的結(jié)果，對(duì)被測(cè)程序中的各個(gè)分支進(jìn)行分類，依據(jù)分類的結(jié)果自動(dòng)生成能夠到達(dá)目標(biāo)

3、語句的路徑。其次，針對(duì)動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)預(yù)先不可知的特點(diǎn)，本課題探討了一種新的測(cè)試數(shù)據(jù)生成方法，該方法通過模擬被測(cè)程序的實(shí)際執(zhí)行來記錄程序的執(zhí)行信息，然后收集并解決選定路徑的路徑約束，最終在解決路徑約束的過程中獲得滿足給定測(cè)試要求的測(cè)試數(shù)據(jù)，或判定目標(biāo)語句為不可執(zhí)行語句。課題的難點(diǎn)主要涉及以下兩個(gè)方面：第一，針對(duì)軟件測(cè)試中面向目標(biāo)的測(cè)試，如何自動(dòng)生成能夠到達(dá)目標(biāo)語句的可行路徑；第二，針對(duì)動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)，如何解決路徑約束，并自動(dòng)生成測(cè)試數(shù)據(jù)。