基于符號執(zhí)行與改進蟻群算法的單元測試研究.pdf

1、軟件測試活動的各個階段中針對軟件的基本組成單元進行測試的階段是單元測試，它是軟件開發(fā)過程中要進行的最低級別的測試活動，也是軟件測試的基礎(chǔ)。單元測試在軟件測試早期保證了基本組成單元的質(zhì)量，為后續(xù)的集成測試活動及系統(tǒng)測試活動打下良好的基礎(chǔ)。它能夠防止在軟件測試后期出現(xiàn)大量bug，從而造成大量返工工作以致使軟件開發(fā)的成本和時間的失控。因此對單元測試的研究非常有實際價值。隨之計算機科學(xué)技術(shù)的高速發(fā)展，軟件的需求成指數(shù)增長，其單體的規(guī)模和結(jié)構(gòu)也變

2、龐大和復(fù)雜，傳統(tǒng)手工測試已經(jīng)不能滿足測試活動的需要。當前涌現(xiàn)出許多單元測試自動化技術(shù)，但各種單元測試自動化技術(shù)的自身都存在一些缺陷。本文主要研究符號執(zhí)行技術(shù)在單元測試領(lǐng)域出現(xiàn)不能有效對存在非線性關(guān)系的路徑進行測試的問題。
　　本文介紹了單元測試的研究背景、意義和國內(nèi)外研究現(xiàn)狀，以及單元測試的基本原理、常見單元測試用例生成方法、符號執(zhí)行技術(shù)和蟻群算法等相關(guān)基本理論，并進一步闡述了符號執(zhí)行的關(guān)鍵，即約束求解技術(shù)，同時分析了產(chǎn)生符號執(zhí)行

3、技術(shù)對存在非線性路徑不能進行測試的具體原因。
　　在此基礎(chǔ)上，本文詳細介紹一種通過改進蟻群算法來彌補符號執(zhí)行技術(shù)在單元測試應(yīng)用中存在著某類漏洞的方法，該漏洞是指無法對被測程序中含有非線性約束的分支的路徑進行覆蓋。該方法首先通過利用符號執(zhí)行技術(shù)，將無法覆蓋的路徑上分支中約束關(guān)系進行收集，并與將其路徑中分支上約束關(guān)系轉(zhuǎn)化成多目標尋優(yōu)問題(首先，利用符號執(zhí)行技術(shù)，將無法覆蓋的路徑分支中的約束關(guān)系進行收集，并將這些約束關(guān)系轉(zhuǎn)化成多目標尋優(yōu)