動態(tài)數(shù)據(jù)結(jié)構(gòu)的測試數(shù)據(jù)自動生成方法研究.pdf

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

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

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