發(fā)布時(shí)間：2017-12-19 13:24

  本文關(guān)鍵詞：基于符號(hào)執(zhí)行與改進(jìn)蟻群算法的單元測(cè)試研究　出處：《南昌航空大學(xué)》2017年碩士論文　論文類型：學(xué)位論文

  更多相關(guān)文章： 單元測(cè)試 測(cè)試用例 符號(hào)執(zhí)行技術(shù) 蟻群算法 擬牛頓算法

【摘要】：軟件測(cè)試活動(dòng)的各個(gè)階段中針對(duì)軟件的基本組成單元進(jìn)行測(cè)試的階段是單元測(cè)試,它是軟件開發(fā)過程中要進(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)也變龐大和復(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è)試的問題。本文介紹了單元測(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í)行技術(shù)對(duì)存在非線性路徑不能進(jìn)行測(cè)試的具體原因。在此基礎(chǔ)上,本文詳細(xì)介紹一種通過改進(jìn)蟻群算法來彌補(bǔ)符號(hào)執(zhí)行技術(shù)在單元測(cè)試應(yīng)用中存在著某類漏洞的方法,該漏洞是指無法對(duì)被測(cè)程序中含有非線性約束的分支的路徑進(jìn)行覆蓋。該方法首先通過利用符號(hào)執(zhí)行技術(shù),將無法覆蓋的路徑上分支中約束關(guān)系進(jìn)行收集,并與將其路徑中分支上約束關(guān)系轉(zhuǎn)化成多目標(biāo)尋優(yōu)問題(首先,利用符號(hào)執(zhí)行技術(shù),將無法覆蓋的路徑分支中的約束關(guān)系進(jìn)行收集,并將這些約束關(guān)系轉(zhuǎn)化成多目標(biāo)尋優(yōu)問題;);其次,通過蟻群算法具有多目標(biāo)尋優(yōu)的特性(基于蟻群算法的多目標(biāo)尋優(yōu)特性)對(duì)非線性方程組進(jìn)行求解,進(jìn)而獲得最優(yōu)解;然后,使用擬牛頓算法對(duì)求得的最優(yōu)解進(jìn)行優(yōu)化,以提高最優(yōu)解的精確度;最后,把含有非線性關(guān)系分支的路徑對(duì)應(yīng)測(cè)試用例和符號(hào)執(zhí)行技術(shù)得到測(cè)試用例合在一起,得到測(cè)試用例集合。本文選用傳統(tǒng)三角形問題和新三角形問題作為實(shí)驗(yàn)被測(cè)程序進(jìn)行測(cè)試,并將得到的結(jié)果進(jìn)行對(duì)比,以驗(yàn)證本文所提方法的可行性。
【學(xué)位授予單位】：南昌航空大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類號(hào)】：TP311.53;TP18

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫 前10條

1 劉艷;李雷;;基于擬牛頓法的梯度追蹤算法研究[J];計(jì)算機(jī)技術(shù)與發(fā)展;2017年04期

2 鄧維;李兆鵬;;形狀分析符號(hào)執(zhí)行引擎中的狀態(tài)合并[J];計(jì)算機(jī)科學(xué);2017年02期

3 李智;;智能優(yōu)化算法研究及應(yīng)用展望[J];武漢輕工大學(xué)學(xué)報(bào);2016年04期

4 張軍;李攀;邢光輝;;軟件測(cè)試的認(rèn)知誤區(qū)和單元測(cè)試實(shí)戰(zhàn)流程[J];科技創(chuàng)新與應(yīng)用;2016年25期

5 金霞;段富海;江秀紅;;一種求解變量有界非線性規(guī)劃的全局最優(yōu)解新方法[J];上海交通大學(xué)學(xué)報(bào);2016年06期

6 黃琦;蔡愛華;呂慧穎;彭武;王冬海;陳君華;;基于KLEE的軟件漏洞測(cè)試用例自動(dòng)生成技術(shù)[J];計(jì)算機(jī)工程與設(shè)計(jì);2016年06期

7 王丹;;計(jì)算機(jī)軟件測(cè)試方法的研究[J];黑龍江科技信息;2016年09期

8 劉建華;楊建國(guó);劉華平;耿鵬;高蒙;;基于勢(shì)場(chǎng)蟻群算法的移動(dòng)機(jī)器人全局路徑規(guī)劃方法[J];農(nóng)業(yè)機(jī)械學(xué)報(bào);2015年09期

9 王小銀;王曙燕;孫家澤;;基于蟻群算法的三三組合測(cè)試用例集的生成[J];計(jì)算機(jī)應(yīng)用研究;2015年11期

10 劉元文;歐宜貴;;求解帶界約束的非線性方程組的混合方法[J];運(yùn)籌學(xué)學(xué)報(bào);2015年01期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 孫明玉;幾何約束求解的關(guān)鍵技術(shù)研究[D];吉林大學(xué);2016年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 鮑鐵勻;符號(hào)執(zhí)行制導(dǎo)技術(shù)及其應(yīng)用研究[D];南京大學(xué);2016年

2 趙珍;基于改進(jìn)蟻群算法的多機(jī)器人路徑規(guī)劃研究[D];蘭州理工大學(xué);2016年

3 曹嚴(yán)清;基于蟻群算法的約束求解[D];長(zhǎng)春工業(yè)大學(xué);2016年

4 徐棟;基于符號(hào)化執(zhí)行的插樁技術(shù)研究與實(shí)現(xiàn)[D];電子科技大學(xué);2016年

5 潘挺雷;基于改進(jìn)蟻群算法的區(qū)域車輛配送路徑優(yōu)化方法研究[D];浙江理工大學(xué);2016年

6 胡勇;基于蟻群算法的物流配送車輛路徑優(yōu)化問題的研究[D];遼寧科技大學(xué);2016年

7 康燕妮;基于主次種群蟻群算法的物流配送車輛路徑優(yōu)化研究[D];西安建筑科技大學(xué);2015年

8 李奇軍;基于符號(hào)執(zhí)行的代碼靜態(tài)檢測(cè)方法研究與實(shí)現(xiàn)[D];電子科技大學(xué);2015年

9 程文華;基于機(jī)器學(xué)習(xí)的手機(jī)游戲軟件自動(dòng)化測(cè)試研究[D];浙江大學(xué);2014年

10 陳冰;符號(hào)執(zhí)行技術(shù)研究與改進(jìn)[D];南京大學(xué);2014年

，

本文編號(hào)：1308128