基于動態(tài)執(zhí)行的C程序復(fù)雜循環(huán)檢測方法.pdf

1、計算機(jī)軟件的蓬勃發(fā)展對各個領(lǐng)域的發(fā)展起了重要的促進(jìn)作用。但是，大量的軟件缺陷在帶來的損失也在不斷增加。軟件測試可以從一定程度上排除軟件的部分缺陷，但是仍有大量的軟件缺陷無法在測試中被發(fā)現(xiàn)。
　　模型檢測方法是保證軟件質(zhì)量的重要途徑。與測試方法相比較，模型檢測能夠發(fā)現(xiàn)軟件中隱藏較深的錯誤。C語言作為目前最流行的程序設(shè)計語言之一，在工業(yè)界有著廣泛的應(yīng)用。但是由于其語法靈活，可以直接對內(nèi)存進(jìn)行操作，且對數(shù)組的邊界不做檢查，使得程序中容易

2、出現(xiàn)內(nèi)存泄露、數(shù)組越界和內(nèi)存泄露等問題。另外，在程序驗證中，難免遇到狀態(tài)空間爆炸問題。即使在相對成熟的抽象細(xì)化方法中，也會出現(xiàn)因狀態(tài)數(shù)過多而內(nèi)存耗盡的現(xiàn)象，特別是在程序中遇見包含復(fù)雜語句的循環(huán)體的時候。在靜態(tài)分析中循環(huán)體執(zhí)行的次數(shù)未知，經(jīng)常導(dǎo)致檢測程序因循環(huán)展開次數(shù)過多而出現(xiàn)內(nèi)存不足現(xiàn)象。本文針對以上問題，提出了C程序中復(fù)雜循環(huán)的驗證方法。首先根據(jù)規(guī)則篩選出程序中的復(fù)雜循環(huán)并在語法樹上標(biāo)記。然后根據(jù)語法樹提取該循環(huán)的相關(guān)變量和函數(shù)信息，