基于符號(hào)執(zhí)行與改進(jìn)蟻群算法的單元測(cè)試研究.pdf

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

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

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