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

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

【摘要】：軟件測試活動的各個階段中針對軟件的基本組成單元進行測試的階段是單元測試,它是軟件開發(fā)過程中要進行的最低級別的測試活動,也是軟件測試的基礎(chǔ)。單元測試在軟件測試早期保證了基本組成單元的質(zhì)量,為后續(xù)的集成測試活動及系統(tǒng)測試活動打下良好的基礎(chǔ)。它能夠防止在軟件測試后期出現(xiàn)大量bug,從而造成大量返工工作以致使軟件開發(fā)的成本和時間的失控。因此對單元測試的研究非常有實際價值。隨之計算機科學(xué)技術(shù)的高速發(fā)展,軟件的需求成指數(shù)增長,其單體的規(guī)模和結(jié)構(gòu)也變龐大和復(fù)雜,傳統(tǒng)手工測試已經(jīng)不能滿足測試活動的需要。當(dā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í)行技術(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)問題;);其次,通過蟻群算法具有多目標尋優(yōu)的特性(基于蟻群算法的多目標尋優(yōu)特性)對非線性方程組進行求解,進而獲得最優(yōu)解;然后,使用擬牛頓算法對求得的最優(yōu)解進行優(yōu)化,以提高最優(yōu)解的精確度;最后,把含有非線性關(guān)系分支的路徑對應(yīng)測試用例和符號執(zhí)行技術(shù)得到測試用例合在一起,得到測試用例集合。本文選用傳統(tǒng)三角形問題和新三角形問題作為實驗被測程序進行測試,并將得到的結(jié)果進行對比,以驗證本文所提方法的可行性。
【學(xué)位授予單位】：南昌航空大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2017
【分類號】：TP311.53;TP18

【參考文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：1308128