基于基本路徑覆蓋的測試用例自動生成方法研究與實現(xiàn)
發(fā)布時間:2021-03-14 08:10
基本路徑測試是一種應(yīng)用廣泛的白盒測試技術(shù)。對于邏輯關(guān)系復(fù)雜的程序而言,現(xiàn)有的基于基本路徑測試的測試用例自動生成方法仍然存在很多問題。本文從測試用例生成的全過程出發(fā),研究并改進基于基本路徑測試的測試用例自動生成方法,開發(fā)一款測試用例自動生成軟件。論文的主要研究工作如下:(1)針對不可達路徑檢測準確度低的情況,本文提出了改進的不可達路徑檢測方法,該方法將“記錄調(diào)用點的子程序摘要”與“更新調(diào)用點上下文”兩種技術(shù)相結(jié)合。能夠在不增加時間開銷的情況下,提高檢測的準確度。實驗結(jié)果表明,該方法與改進之前相比,能準確檢測出存在子程序調(diào)用語句的不可達路徑,準確度平均提高39.21%。(2)對現(xiàn)有的遺傳算法做出改進,以提高測試用例生成效率。第一,在個體適應(yīng)性評價標準方面,將層接近度與分支距離相結(jié)合組成適應(yīng)度函數(shù),并在原適應(yīng)度函數(shù)基礎(chǔ)上進行指數(shù)函數(shù)轉(zhuǎn)換,以調(diào)整算法初期種群個體間的差異分布;第二,交叉操作,采用動態(tài)控制交叉點位置的交叉策略,擴大搜索空間;第三,在變異算子上,采用最優(yōu)個體保留法提高遺傳算法在局部空間的搜索能力,改進該算法的整體運行效率。通過MATLAB進行仿真實驗,實驗結(jié)果表明,改進的遺傳算法擁...
【文章來源】:山東科技大學(xué)山東省
【文章頁數(shù)】:69 頁
【學(xué)位級別】:碩士
【部分圖文】:
圖2.1蟻群優(yōu)化算法基本原理??Fig.2.1?Basic?principle?of?ant?colony?optimization?algorithm??AS的基本設(shè)計流程如下:(1)確定編碼規(guī)范,然后隨機從被測程序的輸入??域中選擇一個測試用例,并根據(jù)編碼規(guī)則將其轉(zhuǎn)化為位串B:?(2)執(zhí)行測試用??
圖2.2?PSO運算流程圖??Fig.2.2?PSO?operation?flow?chart??10??
圖3.1修改后的三角形判定程序代碼??Fig.3.1?Revised?code?for?triangles??(2)獲得程序有向圖??對該程序進行簡單的邏輯分析,可以得到該程序的有向圖,如圖3.2所示
【參考文獻】:
期刊論文
[1]基于蟻群算法的軟件接口測試用例生成[J]. 勞天,馬由. 計算機工程與設(shè)計. 2018(01)
[2]一種基于遺傳算法的Fuzzing測試用例生成新方法[J]. 劉淵,楊永輝,張春瑞,王偉. 電子學(xué)報. 2017(03)
[3]基于改進遺傳算法的測試數(shù)據(jù)自動生成的研究[J]. 高雪笛,周麗娟,張樹東,柳昊明. 計算機科學(xué). 2017(03)
[4]基于數(shù)據(jù)流準則的測試用例生成方法[J]. 陳潔瓊,姜淑娟,張爭光. 計算機科學(xué). 2017(02)
[5]面向多目標測試用例優(yōu)先排序的蟻群算法信息素更新策略[J]. 邢行,尚穎,趙瑞蓮,李征. 計算機應(yīng)用. 2016(09)
[6]基于分支相關(guān)性分析的不可達路徑檢測方法[J]. 姜淑娟,韓寒,史嬌嬌,張艷梅,鞠小林,錢俊彥. 計算機研究與發(fā)展. 2016(05)
[7]基于遺傳算法和分支覆蓋的測試數(shù)據(jù)生成方法[J]. 姜元鵬,董慶杰. 計算機工程與設(shè)計. 2016(01)
[8]基于LLVM的函數(shù)內(nèi)聯(lián)優(yōu)化技術(shù)研究[J]. 郭振華,吳艷霞,安龍飛,張國印,盧文祥. 計算機工程與應(yīng)用. 2017(03)
[9]基于自適應(yīng)變異粒子群優(yōu)化算法的測試數(shù)據(jù)生成[J]. 邵楠,周雁舟,惠文濤,嚴亞偉. 計算機應(yīng)用研究. 2015(03)
[10]基于模擬退火離散粒子群算法的測試點優(yōu)化[J]. 焦曉璇,景博,黃以鋒,鄧森,竇雯. 計算機應(yīng)用. 2014(06)
博士論文
[1]復(fù)雜軟件測試數(shù)據(jù)進化生成理論及應(yīng)用[D]. 姚香娟.中國礦業(yè)大學(xué) 2011
碩士論文
[1]面向路徑的字符串測試數(shù)據(jù)生成方法研究[D]. 唐玉賓.北京郵電大學(xué) 2017
[2]基于改進粒子群算法的嵌入式軟件測試用例自動生成技術(shù)[D]. 羅思放.浙江大學(xué) 2017
[3]基于層次聚類的不可達路徑檢測方法研究[D]. 王紅陽.中國礦業(yè)大學(xué) 2016
[4]遺傳算法在自動化測試用例生成中的應(yīng)用研究[D]. 周雨芹.華中科技大學(xué) 2015
[5]面向數(shù)據(jù)流挖掘的分類和聚類算法研究[D]. 張丹丹.北京交通大學(xué) 2014
[6]一種改進的遺傳算法及應(yīng)用[D]. 李延梅.華南理工大學(xué) 2012
[7]基于改進型遺傳算法的面向路徑測試數(shù)據(jù)生成[D]. 王林.北京化工大學(xué) 2011
[8]基于蟻群優(yōu)化的正交小波變換盲均衡算法[D]. 陳佩佩.安徽理工大學(xué) 2011
[9]程序中不可達路徑的識別及其在結(jié)構(gòu)測試中的應(yīng)用[D]. 陳蕊.中國科學(xué)院研究生院(計算技術(shù)研究所) 2006
本文編號:3081795
【文章來源】:山東科技大學(xué)山東省
【文章頁數(shù)】:69 頁
【學(xué)位級別】:碩士
【部分圖文】:
圖2.1蟻群優(yōu)化算法基本原理??Fig.2.1?Basic?principle?of?ant?colony?optimization?algorithm??AS的基本設(shè)計流程如下:(1)確定編碼規(guī)范,然后隨機從被測程序的輸入??域中選擇一個測試用例,并根據(jù)編碼規(guī)則將其轉(zhuǎn)化為位串B:?(2)執(zhí)行測試用??
圖2.2?PSO運算流程圖??Fig.2.2?PSO?operation?flow?chart??10??
圖3.1修改后的三角形判定程序代碼??Fig.3.1?Revised?code?for?triangles??(2)獲得程序有向圖??對該程序進行簡單的邏輯分析,可以得到該程序的有向圖,如圖3.2所示
【參考文獻】:
期刊論文
[1]基于蟻群算法的軟件接口測試用例生成[J]. 勞天,馬由. 計算機工程與設(shè)計. 2018(01)
[2]一種基于遺傳算法的Fuzzing測試用例生成新方法[J]. 劉淵,楊永輝,張春瑞,王偉. 電子學(xué)報. 2017(03)
[3]基于改進遺傳算法的測試數(shù)據(jù)自動生成的研究[J]. 高雪笛,周麗娟,張樹東,柳昊明. 計算機科學(xué). 2017(03)
[4]基于數(shù)據(jù)流準則的測試用例生成方法[J]. 陳潔瓊,姜淑娟,張爭光. 計算機科學(xué). 2017(02)
[5]面向多目標測試用例優(yōu)先排序的蟻群算法信息素更新策略[J]. 邢行,尚穎,趙瑞蓮,李征. 計算機應(yīng)用. 2016(09)
[6]基于分支相關(guān)性分析的不可達路徑檢測方法[J]. 姜淑娟,韓寒,史嬌嬌,張艷梅,鞠小林,錢俊彥. 計算機研究與發(fā)展. 2016(05)
[7]基于遺傳算法和分支覆蓋的測試數(shù)據(jù)生成方法[J]. 姜元鵬,董慶杰. 計算機工程與設(shè)計. 2016(01)
[8]基于LLVM的函數(shù)內(nèi)聯(lián)優(yōu)化技術(shù)研究[J]. 郭振華,吳艷霞,安龍飛,張國印,盧文祥. 計算機工程與應(yīng)用. 2017(03)
[9]基于自適應(yīng)變異粒子群優(yōu)化算法的測試數(shù)據(jù)生成[J]. 邵楠,周雁舟,惠文濤,嚴亞偉. 計算機應(yīng)用研究. 2015(03)
[10]基于模擬退火離散粒子群算法的測試點優(yōu)化[J]. 焦曉璇,景博,黃以鋒,鄧森,竇雯. 計算機應(yīng)用. 2014(06)
博士論文
[1]復(fù)雜軟件測試數(shù)據(jù)進化生成理論及應(yīng)用[D]. 姚香娟.中國礦業(yè)大學(xué) 2011
碩士論文
[1]面向路徑的字符串測試數(shù)據(jù)生成方法研究[D]. 唐玉賓.北京郵電大學(xué) 2017
[2]基于改進粒子群算法的嵌入式軟件測試用例自動生成技術(shù)[D]. 羅思放.浙江大學(xué) 2017
[3]基于層次聚類的不可達路徑檢測方法研究[D]. 王紅陽.中國礦業(yè)大學(xué) 2016
[4]遺傳算法在自動化測試用例生成中的應(yīng)用研究[D]. 周雨芹.華中科技大學(xué) 2015
[5]面向數(shù)據(jù)流挖掘的分類和聚類算法研究[D]. 張丹丹.北京交通大學(xué) 2014
[6]一種改進的遺傳算法及應(yīng)用[D]. 李延梅.華南理工大學(xué) 2012
[7]基于改進型遺傳算法的面向路徑測試數(shù)據(jù)生成[D]. 王林.北京化工大學(xué) 2011
[8]基于蟻群優(yōu)化的正交小波變換盲均衡算法[D]. 陳佩佩.安徽理工大學(xué) 2011
[9]程序中不可達路徑的識別及其在結(jié)構(gòu)測試中的應(yīng)用[D]. 陳蕊.中國科學(xué)院研究生院(計算技術(shù)研究所) 2006
本文編號:3081795
本文鏈接:http://www.sikaile.net/kejilunwen/ruanjiangongchenglunwen/3081795.html
最近更新
教材專著