本文選題：測試用例自動(dòng)生成 + 條件判定覆蓋��； 參考：《軟件學(xué)報(bào)》2016年03期

【摘要】：條件判定覆蓋(condition/decision coverage,簡稱C/DC)準(zhǔn)則是各種安全攸關(guān)軟件測試中常用的測試覆蓋準(zhǔn)則,它要求軟件測試覆蓋程序中每個(gè)判定以及條件的真/假取值.現(xiàn)有的自動(dòng)測試生成方法在針對該準(zhǔn)則的測試用例生成過程中存在很多不足.例如:符號執(zhí)行方法很難處理較為復(fù)雜的非線性條件約束,并在處理程序的規(guī)模上受到很大限制;希爾攀登法由于在搜索過程中易陷入局部最優(yōu),而難以達(dá)到滿足C/DC準(zhǔn)則的高覆蓋率;模擬退火法和遺傳算法依賴于用戶使用過程中的復(fù)雜配置,測試用例生成效果具有一定的隨機(jī)性.針對這一現(xiàn)狀,提出了一種線性擬合制導(dǎo)測試用例生成方法.依據(jù)C/DC準(zhǔn)則,該方法將程序中的每一個(gè)條件判定規(guī)范化為一個(gè)與零值比較的數(shù)值函數(shù),并以插樁與執(zhí)行獲得該函數(shù)當(dāng)前輸入下的采樣.通過擬合這些采樣,能夠逐步判斷出程序中各個(gè)條件判定與輸入的關(guān)系,并利用這些關(guān)系生成高覆蓋率的測試用例.相對于傳統(tǒng)方法,該方法具有參數(shù)配置簡易、生成過程高效等優(yōu)點(diǎn),并且能夠處理帶非線性條件約束、邏輯復(fù)雜的程序.在3個(gè)開源軟件庫中的25個(gè)真實(shí)程序上運(yùn)行的實(shí)驗(yàn)結(jié)果表明,所提出的方法比目前以覆蓋率見長的遺傳算法(genetic algorithm,簡稱GA)制導(dǎo)方法具備更好的覆蓋能力與更高的執(zhí)行效率.
[Abstract]:Conditional decision coverageC- / DCCcriterion is a commonly used test coverage criterion in all kinds of security related software testing. It requires each decision and the true / false value of the condition in the software test overlay program.The existing automatic test generation methods have many shortcomings in the test case generation for this criterion.For example, the symbolic execution method is very difficult to deal with more complex nonlinear constraints, and is limited in the size of the processing program; Hill's climbing method is prone to fall into local optimum in the search process.The simulated annealing method and genetic algorithm depend on the complex configuration in the process of user usage, and the test case generation effect is random.In view of this situation, a method of generating test cases for linear fitting guidance is proposed.According to the C/DC criterion, each condition decision in the program is normalized to a numerical function compared with zero value, and the sampling under the current input of the function is obtained by inserting the pile and executing it.By fitting these samples, we can judge the relationship between each condition and input in the program step by step, and use these relationships to generate test cases with high coverage.Compared with the traditional method, this method has the advantages of simple parameter configuration, high efficiency in generating process, and can deal with programs with nonlinear constraints and complicated logic.The experimental results on 25 real programs in 3 open source software libraries show that the proposed method has better coverage ability and higher execution efficiency than the genetic algorithm (GAGA) guidance method, which has good coverage.
【作者單位】： 計(jì)算機(jī)軟件新技術(shù)國家重點(diǎn)實(shí)驗(yàn)室(南京大學(xué));南京大學(xué)軟件學(xué)院;南京大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系;
【基金】：國家自然科學(xué)基金(61402222,91318301,61561146394) 國家重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃(973)(2014CB340703) 教育部高等學(xué)校博士學(xué)科點(diǎn)專項(xiàng)科研基金(20110091120058) 江蘇省產(chǎn)學(xué)研項(xiàng)目(BY2014126-03)~~
【分類號】：TP311.53

【相似文獻(xiàn)】

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

1 王靜;;判定覆蓋和條件覆蓋的比較研究[J];軟件導(dǎo)刊;2011年01期

2 張衛(wèi)民;申敬松;;修正的條件/判定覆蓋相關(guān)的問題[J];載人航天;2008年02期

3 岳海;任慧敏;;基于修正條件判定覆蓋的軟件測試技術(shù)研究和方法應(yīng)用[J];航天控制;2012年03期

4 趙瑾,高建華;對修正條件/判定覆蓋方法測試集個(gè)數(shù)的分析[J];微機(jī)發(fā)展;2005年10期

5 曹小鵬;孫家澤;;增強(qiáng)條件/判定覆蓋(RC/DC)準(zhǔn)則的研究[J];微電子學(xué)與計(jì)算機(jī);2009年07期

6 朱曉波;楊偉民;葉芯;;更改條件/判定覆蓋最小真值表生成算法及其應(yīng)用[J];上海理工大學(xué)學(xué)報(bào);2007年01期

7 葉振宇;基于MC/DC的軟件模塊可靠性估計(jì)[J];微型機(jī)與應(yīng)用;2005年07期

8 ;[J];;年期

相關(guān)會(huì)議論文 前1條

1 張衛(wèi)民;劉松毅;;關(guān)鍵軟件測試結(jié)構(gòu)覆蓋要求分析[A];2008年航空試驗(yàn)測試技術(shù)峰會(huì)論文集[C];2008年

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

1 趙瑾;修正條件判定覆蓋測試準(zhǔn)則的研究與實(shí)現(xiàn)[D];上海師范大學(xué);2006年

，

本文編號：1757140