本文選題：約束滿足問題 + 線性代數(shù)　； 參考：《計算機輔助設計與圖形學學報》2017年09期

【摘要】：為了解決測試用例自動生成中等式約束的求解問題,提出一種加入等式處理策略的分支限界搜索算法.首先將線性代數(shù)中判定線性方程組是否有解的方法引入分支限界測試用例生成框架之中;然后在已有算法模型的基礎上提出集成等式處理分支限界搜索算法,以支持多種變量類型的等式處理;最后將等式約束分為等式無解、等式多解和等式唯一解三大類進行處理,包含了等式約束求解問題的所有情況.實驗結(jié)果表明,文中算法可以實現(xiàn)對一部分不可達路徑的檢測,在很大程度上減少測試用例生成的時間并提高覆蓋率;對大工程的測試以及同開源約束求解工具Choco的對比實驗,也證明了該算法可以提升測試效率.
[Abstract]:In order to solve the problem of automatic generation of intermediate constraints in test cases, a branch and bound search algorithm with equality processing strategy is proposed. First, the method of determining whether the linear equations have solutions in linear algebra is introduced into the generation framework of branch-bound test cases, and then, based on the existing algorithm model, an integrated equality processing branch-bound search algorithm is proposed. Finally, equality constraints are divided into three categories: equality without solution, equality with multiple solutions and equality with unique solution, which includes all the cases of equality constraint solving problem. Experimental results show that the proposed algorithm can detect some unreachable paths, reduce test case generation time and increase coverage to a great extent, test large project and compare it with Choco, an open source constraint solution tool. It is also proved that the algorithm can improve the test efficiency.
【作者單位】： 北京郵電大學網(wǎng)絡與交換技術國家重點實驗室;北京郵電大學自動化學院;
【基金】：國家“八六三”高技術研究發(fā)展計劃(2012AA011201) 國家自然科學基金(91318301)
【分類號】：TP301.6;TP311.53

【相似文獻】

相關期刊論文 前10條

1 李留英,王戟,齊治昌;UML statecharts的測試用例生成方法[J];計算機研究與發(fā)展;2001年06期

2 路曉麗;葛瑋;陳新麗;郝克剛;;支持共享和復用的測試用例庫系統(tǒng)的設計[J];計算機科學;2006年05期

3 胡珊;楊豐玉;張曄;劉琳嵐;;基于測試項抽取的測試用例復用方法[J];微電子學與計算機;2010年01期

4 張德平;查日軍;;劃分測試用例選擇的風險決策方法[J];計算機應用研究;2010年12期

5 楊翊;陳挺;許崢;;證券軟件的測試用例設計充分性實踐[J];中國證券期貨;2012年07期

6 張智軼;陳振宇;徐寶文;楊瑞;;測試用例演化研究進展[J];軟件學報;2013年04期

7 楊悅;秦湘河;楊永安;郭榮;;航天測控軟件測試用例標準及應用研究[J];無線電工程;2013年09期

8 王侃,盧慶齡,彭艷麗;測試用例自動生成的鏈方法研究與實現(xiàn)[J];裝甲兵工程學院學報;2001年03期

9 李順華;測試用例管理方法探討[J];飛航導彈;2001年05期

10 徐仁佐,陳斌,陳波,吳閩泉,熊忠偉;構(gòu)造面向?qū)ο筌浖蓮陀脺y試用例的模式研究[J];武漢大學學報(理學版);2003年05期

相關會議論文 前10條

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

2 李磊;曹先彬;;基于進化的軟件測試用例生成方法[A];2005年“數(shù)字安徽”博士科技論壇論文集[C];2005年

3 徐李勤;王潔寧;;基于層次有色Petri網(wǎng)的軟件測試用例選取研究[A];全國第二屆信號處理與應用學術會議�？痆C];2008年

4 林春哲;張凱;王道堂;;軟件測試用例設計分析[A];計算機技術在工程建設中的應用——第十二屆全國工程建設計算機應用學術會議論文集[C];2004年

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

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

7 郭從穎;;場景驅(qū)動測試用例設計及其測試自動化技術研究[A];中國計量協(xié)會冶金分會2008年會論文集[C];2008年

8 郭從穎;;場景驅(qū)動測試用例設計及其測試自動化技術研究[A];2008全國第十三屆自動化應用技術學術交流會論文集[C];2008年

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

10 萬琳;張威;馬雪雁;陳曼青;;基于路徑的測試用例自動生成技術[A];第十屆全國容錯計算學術會議論文集[C];2003年

相關重要報紙文章 前5條

1 深圳市信息無障礙研究會 戴杰;“聽”軟件的IT工程師[N];人民政協(xié)報;2014年

2 謝敏 沈雪芳 戴金龍;解決軟件測試的近憂和遠慮[N];計算機世界;2005年

3 《網(wǎng)絡世界》記者 鄭楠;ONF測試步伐有條不紊[N];網(wǎng)絡世界;2014年

4 ;找錯[N];計算機世界;2002年

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

相關博士學位論文 前10條

1 羅玲;擴展π演算的建模、驗證與測試[D];西安電子科技大學;2015年

2 王志強;基于模糊測試的漏洞挖掘及相關攻防技術研究[D];西安電子科技大學;2015年

3 涂徑玄;基于覆蓋分析的自動化錯誤定位關鍵技術研究[D];南京大學;2016年

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

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

6 黃如兵;組合測試用例的自適應隨機生成與優(yōu)先級排序方法研究[D];華中科技大學;2013年

7 張娟;軟件測試中測試用例復用的研究[D];上海大學;2012年

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

9 謝曉東;基于模型比較的軟件測試用例生成方法研究[D];華中科技大學;2007年

10 李根;基于動態(tài)測試用例生成的二進制軟件缺陷自動發(fā)掘技術研究[D];國防科學技術大學;2010年

相關碩士學位論文 前10條

1 田春艷;基于灰色關聯(lián)逼近理想解方法的測試用例評價模型研究[D];昆明理工大學;2009年

2 唐海鵬;基于Additional策略回歸測試用例優(yōu)先級排序優(yōu)化研究[D];西南大學;2015年

3 陳夢云;基于圈復雜度和調(diào)用次數(shù)的測試用例排序方法[D];上海師范大學;2015年

4 姚瑞超;廣東電網(wǎng)測試用例自動生成工具的研究與設計[D];華南理工大學;2015年

5 張澤林;基于數(shù)據(jù)挖掘的軟件多故障定位與分析技術[D];南京理工大學;2015年

6 鄒炳松;嵌入式軟件的圖形化測試用例生成系統(tǒng)設計與實現(xiàn)[D];哈爾濱工業(yè)大學;2015年

7 李錦程;基于微信平臺的醫(yī)療就診系統(tǒng)設計與實現(xiàn)[D];哈爾濱工業(yè)大學;2015年

8 趙群;軟件錯誤定位中的巧合正確性問題研究[D];哈爾濱工業(yè)大學;2015年

9 常龍輝;Web應用的測試用例優(yōu)化生成與優(yōu)先級技術[D];上海大學;2015年

10 王令賽;基于粒子群優(yōu)化算法的測試用例生成技術研究[D];中國礦業(yè)大學;2015年

，

本文編號：2109314