基于CIL自動(dòng)化插樁的研究與設(shè)計(jì).pdf

1、隨著市場(chǎng)上對(duì)軟件質(zhì)量的要求越來越高，軟件測(cè)試作為軟件質(zhì)量的重要保障也越來越受到重視。動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)具有測(cè)試用例自動(dòng)生成，程序分支路徑覆蓋率高等優(yōu)點(diǎn)，近年來受到很多研究機(jī)構(gòu)和學(xué)者的青睞。動(dòng)態(tài)符號(hào)執(zhí)行是按照一定的搜索策略搜尋盡可能多的分支路徑，收集程序的約束條件，然后對(duì)每一條分支路徑通過約束求解的方式產(chǎn)生一組測(cè)試用例。
　　源代碼插樁是實(shí)現(xiàn)動(dòng)態(tài)符號(hào)執(zhí)行過程中關(guān)鍵的一步。在模擬符號(hào)執(zhí)行過程前需要先對(duì)源碼進(jìn)行解析并插入相應(yīng)的樁函數(shù)，利用

2、樁函數(shù)收集程序運(yùn)行時(shí)符號(hào)化變量的路徑約束條件，再將約束條件傳給約束求解器求解生成測(cè)試用例。但是目前的符號(hào)執(zhí)行工具仍然存在一些問題，例如只能對(duì)整型變量的程序進(jìn)行插樁，只能收集求解線性約束條件，不能對(duì)浮點(diǎn)型變量進(jìn)行插樁和符號(hào)化，同時(shí)也不能處理復(fù)雜的數(shù)據(jù)類型如數(shù)組、結(jié)構(gòu)體等。
　　本論文正是著眼于當(dāng)前符號(hào)執(zhí)行工具存在的某些問題，利用CIL這一開源工具對(duì)C程序源代碼進(jìn)行分析，設(shè)計(jì)實(shí)現(xiàn)插樁模塊的功能，使其不僅能夠?qū)φ妥兞窟M(jìn)行插樁而且能對(duì)浮

3、點(diǎn)型變量進(jìn)行插樁，并且實(shí)現(xiàn)了多種變量類型的符號(hào)化。本文的主要工作包括：首先對(duì)符號(hào)執(zhí)行技術(shù)和插樁技術(shù)的相關(guān)理論知識(shí)進(jìn)行研究，設(shè)計(jì)出基于客戶端/服務(wù)器端（C/S）架構(gòu)模式的軟件測(cè)試工具。其次研究分析CIL工具，了解其處理程序的流程并且設(shè)計(jì)插樁模塊，借助于CIL對(duì)程序的分析結(jié)果，利用插樁模塊在程序的關(guān)鍵節(jié)點(diǎn)插入樁函數(shù)。然后通過對(duì)樁函數(shù)的設(shè)計(jì)實(shí)現(xiàn)，測(cè)試工具不僅可以對(duì)基本數(shù)據(jù)類型進(jìn)行插樁和符號(hào)化，而且能夠?qū)?shù)組、結(jié)構(gòu)體等復(fù)雜的變量類型進(jìn)行符號(hào)化。