[發(fā)明專利]一種基于混合策略的測試數(shù)據(jù)生成方法

在審

• 申請?zhí)枺?/td>: 201410709716.9
• 申請日: 2014-11-28
• 公開（公告）號: CN104536877A
• 公開（公告）日: 2015-04-22
• 發(fā)明（設(shè)計）人: 周駿貴;徐寶文;劉子聰;陳振宇;張馳;濮力;程秀才;謝佩章;王婧宇
• 申請（專利權(quán)）人: 江蘇蘇測軟件檢測技術(shù)有限公司;南京大學(xué)
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 南京天翼專利代理有限責(zé)任公司 32112
• 代理人: 奚銘

1.一種基于混合策略的測試數(shù)據(jù)生成方法，其特征是利用混合測試數(shù)據(jù)生成技術(shù)制定生成流程：利用隨機(jī)策略生成測試的基礎(chǔ)數(shù)據(jù)，利用動態(tài)符號執(zhí)行完成對于滿足路徑約束條件的整型數(shù)據(jù)的計算，利用基于搜索的策略完成對于其他類型數(shù)值型數(shù)據(jù)的精化以及對于字符串或用戶自定義類型數(shù)據(jù)的獲取，實(shí)現(xiàn)自動化的測試數(shù)據(jù)生成，包括以下步驟：

1)隨機(jī)策略生成初始數(shù)據(jù)，利用初始數(shù)據(jù)進(jìn)行程序的動態(tài)執(zhí)行，并記錄路徑約束；

2)將步驟1)記錄的路徑約束的最后一個謂詞進(jìn)行反轉(zhuǎn)，使其程序邏輯轉(zhuǎn)向最后一個分支的另一邊，生成一個新的路徑約束，如果新生成的路徑約束可解，則將新生成的路徑約束對應(yīng)的測試數(shù)據(jù)作為引導(dǎo)數(shù)據(jù)，進(jìn)入步驟3)，之后迭代進(jìn)行步驟2)-5)直至到達(dá)極優(yōu)解或使定時器超時而至死鎖，進(jìn)而保留結(jié)果并重啟步驟1)；如果新生成的路徑約束不可解則直接重啟步驟1)，重新生成初始引導(dǎo)數(shù)據(jù)；

3)將步驟2)生成的路徑約束基于不同的數(shù)據(jù)類型進(jìn)行解析與拆解，分別提取出不同類型的數(shù)據(jù)結(jié)構(gòu)，包括pcf、pcs和pco，其中pcf是路徑約束中包含浮點(diǎn)類型數(shù)據(jù)的部分，pcs和pco分別是包含字符串類型和其他類型的約束片段；

4)對于不同數(shù)據(jù)類型基于搜索的策略有不同的處理方法：

對于浮點(diǎn)類型的數(shù)據(jù)結(jié)構(gòu)，使用交替變量法來精化浮點(diǎn)數(shù)的精度；

對于字符串類型的數(shù)據(jù)結(jié)構(gòu)，利用基因算法來解決對于字符串類型的處理問題；

對于其他類型的數(shù)據(jù)結(jié)構(gòu)，提供自定義的精化算法接口，用于用戶針對數(shù)據(jù)類型自定義匹配函數(shù)，如果用戶并沒有定義對應(yīng)數(shù)據(jù)結(jié)構(gòu)的精化規(guī)則，默認(rèn)對數(shù)據(jù)結(jié)構(gòu)利用搜索的策略進(jìn)行精化；

5)將步驟2)得到的路徑約束中的變量替換為經(jīng)步驟4)精化后的具體數(shù)值，簡化路徑約束，使之更容易被約束求解器計算而得到可行解，再利用約束求解器對簡化后的路徑約束進(jìn)行求解，生成的測試數(shù)據(jù)作為下一次迭代的輸入數(shù)據(jù)，進(jìn)行下一輪的生成和精化。