近年來隨著計算機軟件行業(yè)的飛速發(fā)展,計算機軟件系統(tǒng)日益復雜,軟件質(zhì)量問題已經(jīng)嚴重限制了計算機技術的發(fā)展。軟件測試是保證軟件質(zhì)量和可靠性的主要手段,這對于航空航天、自動駕駛、醫(yī)療等領域中使用的安全關鍵軟件系統(tǒng)尤為重要。這些系統(tǒng)需要極高的可靠性,只要發(fā)生故障就可能會導致災難性的后果。因此人們制定了軟件認證標準,對安全關鍵系統(tǒng)提出了一系列嚴格的要求,在軟件測試時必須予以考慮。例如在航空軟件認證標準中有一條要求僅適用于安全關鍵系統(tǒng),即用于測試這些系統(tǒng)的測試用例必須滿足修訂的條件/判定覆蓋（MC/DC）準則。MC/DC準則是一種比較嚴格的代碼覆蓋準則,旨在證明判定中涉及的所有條件都可以獨立地影響判定的結果。目前,測試人員普遍采用手工方法設計測試數(shù)據(jù)。但是手工生成測試數(shù)據(jù)的效率低下、容易出錯,導致測試成本昂貴,很難保證軟件質(zhì)量。動態(tài)符號執(zhí)行技術能夠針對被測程序自動生成測試用例,該技術降低了由手工測試而產(chǎn)生的高額成本,大幅提高了測試效率,近年來被廣泛使用。但是,現(xiàn)有的動態(tài)符號執(zhí)行技術以分支覆蓋為目標進行測試生成,因此不能生成滿足MC/DC準則的測試用例。為了解決這個問題,本文提出了一種基于代碼轉(zhuǎn)換的... 

【文章來源】：北京工業(yè)大學北京市 211工程院校

【文章頁數(shù)】：65 頁

【學位級別】：碩士

【部分圖文】：

Clang中程序的抽象語法樹片段Figure4-1AfragmentoftheabstractsyntaxtreeofaprograminClangClang作為LLVM的編譯前端，為開源項目提供了三種不同的開發(fā)接口，分別是LibClang、ClangPlugins和ClangLibTooling[64]

【參考文獻】：
期刊論文
[1]基于布爾表達式約束的測試用例生成技術[J]. 孫溢,陽小華,劉杰,余童蘭,吳志強,陳智.  計算機與現(xiàn)代化. 2019(01)
[2]符號執(zhí)行研究綜述[J]. 葉志斌,嚴波.  計算機科學. 2018(S1)
[3]采用Clang/LLVM的C++源代碼覆蓋率分析插裝方法[J]. 李樹芳,安金霞,劉洋,陳良.  計算機科學. 2017(11)
[4]基于KLEE的軟件漏洞測試用例自動生成技術[J]. 黃琦,蔡愛華,呂慧穎,彭武,王冬海,陳君華.  計算機工程與設計. 2016(06)
[5]基于DO-178的機載軟件結構覆蓋分析[J]. 左澤軒,薛戰(zhàn)東.  科技視界. 2016(15)
[6]基于圖的MC/DC最小測試用例集快速生成算法[J]. 黃孝倫.  計算機系統(tǒng)應用. 2012(11)
[7]基于修正條件判定覆蓋的軟件測試技術研究和方法應用[J]. 岳海,任慧敏.  航天控制. 2012(03)
[8]基于MC/DC準則的確認測試用例生成方法[J]. 鄭平,許勝.  現(xiàn)代電子技術. 2007(16)

博士論文
[1]基于覆蓋準則的軟件測試用例自動化生成方法的研究與實現(xiàn)[D]. 蘇亭.華東師范大學 2016

碩士論文
[1]基于遺傳算法的MC/DC測試用例自動生成方法研究[D]. 俞祥賢.南昌航空大學 2015



本文編號：3401458