【摘要】：隨著信息技術(shù)的飛速發(fā)展,各種各樣的軟件產(chǎn)品應(yīng)運而生,并且逐漸應(yīng)用到社會的各個領(lǐng)域,如金融業(yè)、醫(yī)療業(yè)、服務(wù)業(yè)等等。如何保證軟件系統(tǒng)的質(zhì)量漸漸成為人們的關(guān)注焦點。軟件測試是開發(fā)過程中確保軟件質(zhì)量的一種重要工作,同時也是提高軟件可靠性、易用性的重要手段�，F(xiàn)如今,軟件測試成本越來越高,所以高效率地完成測試工作是互聯(lián)網(wǎng)行業(yè)共同追求的目標(biāo),這使得軟件測試過程的自動化成為必然。軟件測試的本質(zhì)就是為被測系統(tǒng)建立測試用例集合,所以實現(xiàn)自動化測試的關(guān)鍵在于測試用例自動生成部分。在測試用例生成這一問題上,基本路徑測試是一個傳統(tǒng)的代碼分析與測試技術(shù),被廣泛地應(yīng)用到復(fù)雜軟件分析和大型軟件邏輯覆蓋測試活動中。傳統(tǒng)的基本路徑測試方法是采用選取滿足規(guī)約的隨機(jī)數(shù)作為測試用例,沒有考慮規(guī)約自動提取和規(guī)約組合優(yōu)化。本文的研究重點就放在如何能夠提取被測代碼的約束條件,以及如何將約束條件抽絲剝繭,組合為符合所求路徑的規(guī)約分式。實際上,定向生成測試用例首先需要明確被測代碼的結(jié)構(gòu),其次是找到各個模塊之間的邏輯依賴。本文通過代碼的靜態(tài)結(jié)構(gòu)測試,使用編譯技術(shù)實現(xiàn)規(guī)約的提取,并研究了對規(guī)約結(jié)果進(jìn)一步操作的組合優(yōu)化技術(shù)。該技術(shù)建立在代數(shù)方法的基礎(chǔ)之上,為軟件系統(tǒng)的邏輯結(jié)構(gòu)建模,并通過數(shù)學(xué)方法求解程序的測試用例集。規(guī)約提取和組合優(yōu)化這一嘗試為測試用例自動化生成問題提供了新的思路,摒棄了隨機(jī)性算法和搜索算法的盲目性,一定程度上彌補(bǔ)了運行時間和生成率方面的不足。本文給出測試用例自動生成的相應(yīng)的算法,并介紹一種自主研發(fā)的應(yīng)用工具。同時,通過若干案例表明了所提算法的有效性,和應(yīng)用工具的可行性。
【學(xué)位授予單位】：北方工業(yè)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2018
【分類號】：TP311.53
【圖文】：

干案例解釋本文方法的執(zhí)行流程，給出實驗中的部分截圖行綜合分析。逡逑例逡逑根據(jù)文獻(xiàn)［？中的程序流程圖編寫出的偽代碼程序，其內(nèi)ｆ－ｅｌｓｅ分支結(jié)構(gòu)的條件表達(dá)式，并進(jìn)一步計算輸出結(jié)果。原ｔ邋ｉｎｔ邋Ａ，Ｂ，Ｘ；邋Ｏｕｔｐｕｔ邋ｉｎｔ邋Ｘ；逡逑＞１）＆（Ｂ＝０））邋ｇｏｔｏ邋４逡逑Ｎ邋Ｘ＝Ｘ／Ａ；逡逑＝２）｜（Ｘ＞１））邋ｇｏｔｏ邋６逡逑Ｎ邋Ｘ＝Ｘ＋１；逡逑ｕｔ邋Ｘ；逡逑序流程圖如圖４．１所示：逡逑

第四章測試用例自動生成算法研宄逡逑圖４．１為簡單案例的程序流程圖，從圖中可以分析出該程序的基本路徑有４逡逑條，分別為邋ＬＩ：邋ａ－＞ｃ－＞ｅ、Ｌ２：邋ａ－＞ｂ－＞ｄ、Ｌ３：邋ａ－＞ｂ－＞ｅ、Ｌ４：邋ａ－＞ｃ－＞ｄ。將該程序逡逑用基本路徑自動生成器（ＢＴＰ－Ｂｕｉｌｄｅｒ）處理后得出的路徑為：Ｐａｔｈｌ：邋１－２－４－６、Ｐａｔｈ２：逡逑１－２－３－４－６、Ｐａｔｈ３：邋１－２－４－５－６、Ｐａｔｈ４：邋１－２－３－４－５－６。下面結(jié)合簡單案例介紹本文所逡逑提測試用例自動生成技術(shù)的應(yīng)用。逡逑１）

２２：邋Ｔｈｅｎ邋（ｔｏｍｏｒｒｏｗＤａｙ＝ｄａｙ＋１）＆（ｔｏｍｏｒｒ0ｖｖＭｏｎｔｈ邋＝邋ｍ0Ｒｔｈ）＆（ｔｏｍｏｒｒｏｗＹｅａｒ＝ｙｅａｒ）邋ｇｏｔｏ邋２４邐ｖ逡逑圖４．５邋ＮｅｘｔＤａｔｅ問題待測偽代碼逡逑該程序共１６條路徑

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 于海;楊月;王瑩;張偉;朱志良;基于風(fēng)險分析的回歸測試用例優(yōu)先級排序[J];計算機(jī)學(xué)報;2017年期

2 曹小鵬;張瑩;唐煜;;混合測試用例自動生成算法[J];計算機(jī)技術(shù)與發(fā)展;2018年09期

3 徐鵬;劉嘉勇;林波;孫慧穎;雷斌;基于循環(huán)神經(jīng)網(wǎng)絡(luò)的模糊測試用例生成[J];計算機(jī)應(yīng)用研究;2019年10期

4 王曙燕;陳朋媛;孫家澤;;基于變異分析的測試用例約簡方法[J];計算機(jī)應(yīng)用;2017年12期

5 楊軍;盧彩霞;黃辰;王婷;;測試用例復(fù)用在電子采購交易平臺中的應(yīng)用[J];計算機(jī)與數(shù)字工程;2018年01期

6 范會聯(lián);曾廣樸;;融入自適應(yīng)遷移的路徑覆蓋測試用例進(jìn)化生成[J];計算機(jī)應(yīng)用研究;2016年12期

7 程雪梅;翟宇鵬;;測試用例修復(fù)的方法與工具綜述[J];現(xiàn)代計算機(jī)(專業(yè)版);2017年02期

8 趙鶴;高婉玲;;基于模型的軟件測試用例生成方法比較研究[J];現(xiàn)代計算機(jī)(專業(yè)版);2017年04期

9 曾嘉彥;;符號執(zhí)行技術(shù)在測試用例生成中的應(yīng)用[J];現(xiàn)代計算機(jī)(專業(yè)版);2017年04期

10 張功杰;謝春麗;;面向測試用例生成的集合進(jìn)化算法實現(xiàn)[J];牡丹江師范學(xué)院學(xué)報(自然科學(xué)版);2017年02期

相關(guān)會議論文 前10條

1 周曉燕;李兵;潘偉豐;覃葉宜;;基于錯誤傳播概率網(wǎng)絡(luò)的軟件回歸測試用例選擇[A];第五屆全國復(fù)雜網(wǎng)絡(luò)學(xué)術(shù)會議論文（摘要）匯集[C];2009年

2 王道堂;林春哲;張凱;;軟件測試用例構(gòu)造方法與手段[A];計算機(jī)技術(shù)在工程建設(shè)中的應(yīng)用——第十二屆全國工程建設(shè)計算機(jī)應(yīng)用學(xué)術(shù)會議論文集[C];2004年

3 林春哲;張凱;王道堂;;軟件測試用例設(shè)計分析[A];計算機(jī)技術(shù)在工程建設(shè)中的應(yīng)用——第十二屆全國工程建設(shè)計算機(jī)應(yīng)用學(xué)術(shù)會議論文集[C];2004年

4 張俠影;李志蜀;;一種優(yōu)化的測試用例約簡方法[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

5 張德平;聶長海;徐寶文;;劃分測試用例選擇策略研究[A];第五屆中國測試學(xué)術(shù)會議論文集[C];2008年

6 王斌;;軟件測試用例相關(guān)問題探討[A];中國原子能科學(xué)研究院年報 2013[C];2014年

7 周瑞杰;江國華;;基于遺傳算法的面向?qū)ο箢悳y試用例生成研究[A];2010通信理論與技術(shù)新發(fā)展——第十五屆全國青年通信學(xué)術(shù)會議論文集（下冊）[C];2010年

8 邱程;鄔小魯;何聰;范志容;李凱;;基于黑盒測試的車載影音娛樂系統(tǒng)測試用例設(shè)計方法[A];2016中國汽車工程學(xué)會年會論文集[C];2016年

9 章靠;丁佐華;;基于事件圖的并發(fā)軟件測試[A];第四屆中國軟件工程大會論文集[C];2007年

10 王新光;萬定生;張希偉;;淺談程序設(shè)計語言教學(xué)中工程能力的培養(yǎng)[A];2005全國計算機(jī)程序設(shè)計類課程教學(xué)研討會論文集[C];2005年

相關(guān)重要報紙文章 前10條

1 本報記者 王欣;5G要這么測[N];通信產(chǎn)業(yè)報;2017年

2 羅德與施瓦茨(中國)科技有限公司;R&S公司:集成化NB-IoT測試方案[N];通信產(chǎn)業(yè)報;2017年

3 特約撰稿 張勇;基于需求的測試：確保需求與軟件的統(tǒng)一[N];計算機(jī)世界;2011年

4 計算機(jī)世界實驗室 韓勖;撥云見日[N];計算機(jī)世界;2008年

5 ;找錯[N];計算機(jī)世界;2002年

6 信息產(chǎn)業(yè)部軟件與集成電路促進(jìn)中心 于明邋唐仕武;駛?cè)霚y試“快車道”[N];計算機(jī)世界;2007年

7 謝敏 沈雪芳 戴金龍;解決軟件測試的近憂和遠(yuǎn)慮[N];計算機(jī)世界;2005年

8 劉昶;WiMAX射頻測試期待一致性解決方案[N];中國電子報;2007年

9 羅德與施瓦茨中國有限公司 劉昶;用規(guī)范化“通暢”PoC測試[N];通信產(chǎn)業(yè)報;2006年

10 羅德與施瓦茨中國有限公司產(chǎn)品支持部;R&S：實現(xiàn)端到端LTE測試[N];通信產(chǎn)業(yè)報;2013年

相關(guān)博士學(xué)位論文 前10條

1 張旭舟;面向復(fù)雜程序結(jié)構(gòu)的測試用例自動生成方法研究[D];北京郵電大學(xué);2018年

2 張功杰;基于集合進(jìn)化與占優(yōu)關(guān)系的變異測試用例生成[D];中國礦業(yè)大學(xué);2017年

3 張慧;基于測試用例的錯誤定位技術(shù)研究[D];東南大學(xué);2016年

4 劉玲;基于面向?qū)ο笮问揭?guī)格說明的測試用例生成技術(shù)[D];上海大學(xué);2004年

5 占學(xué)德;基于UML statecharts測試方法的研究[D];上海大學(xué);2005年

6 金虎;自動化軟件測試技術(shù)研究[D];四川大學(xué);2006年

7 李軍義;軟件測試用例自動生成技術(shù)研究[D];湖南大學(xué);2008年

8 游亮;回歸測試用例選擇技術(shù)研究[D];華中科技大學(xué);2012年

9 李麗;航天相機(jī)主控軟件測試用例自動生成技術(shù)的研究[D];中國科學(xué)院研究生院（長春光學(xué)精密機(jī)械與物理研究所）;2010年

10 邢穎;測試用例自動生成的分支限界算法及實驗研究[D];北京郵電大學(xué);2014年

相關(guān)碩士學(xué)位論文 前10條

1 張磊;基于解空間樹的組合測試并行測試算法的研究[D];哈爾濱工程大學(xué);2015年

2 方正;基于碰撞域的自動化測試用例生成算法研究[D];南昌航空大學(xué);2018年

3 張宇;面向數(shù)據(jù)類標(biāo)準(zhǔn)的測試用例自動生成方法研究及應(yīng)用[D];北方工業(yè)大學(xué);2018年

4 張偉;無人機(jī)航空軟件測試用例自動生成方法研究與實現(xiàn)[D];電子科技大學(xué);2018年

5 郭紫夢;基于果蠅算法的路徑覆蓋測試用例生成方法研究[D];安徽大學(xué);2018年

6 李喚;基于馬爾科夫鏈（Markov）模型的物流軟件功能測試用例研究[D];北京郵電大學(xué);2018年

7 張博;測試用例自動生成中人工智能的應(yīng)用研究[D];北京郵電大學(xué);2018年

8 李碩;程序基本路徑測試用例自動生成方法和技術(shù)研究[D];北方工業(yè)大學(xué);2018年

9 賴盛鑫;GUI測試用例修復(fù)技術(shù)的研究[D];上海師范大學(xué);2018年

10 鄧秋輝;基于UVM驗證平臺的回歸測試集生成和最小化研究[D];浙江大學(xué);2017年

本文編號：2776495