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

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

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