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

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

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

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