北京邮电大学学报
北京郵電大學學報
북경유전대학학보
JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS
2012年
1期
24-27
,共4页
安靖%钟金鑫%魏更宇%杨义先
安靖%鐘金鑫%魏更宇%楊義先
안정%종금흠%위경우%양의선
Concolic测试%符号执行%函数摘要%路径爆炸
Concolic測試%符號執行%函數摘要%路徑爆炸
Concolic측시%부호집행%함수적요%로경폭작
在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免了传统Concolic测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中函数数量的增加,传统Concolic测试路径数量可能出现指数型增长,而该方法中测试路径数量基本保持线性增长.
在函數摘要的基礎上提齣瞭一種新的Concolic測試方法.該方法利用外部調用的函數摘要來避免多次測試外部調用引起的路徑爆炸問題.在對外部調用進行Concolic測試後,將其返迴結果和路徑條件作為函數摘要.測試過程中調用同一外部調用時,該方法用函數摘要替代展開測試,避免瞭傳統Concolic測試過程對外部調用重複測試的問題,緩解瞭調用次數增多和調用深度增加引起的路徑爆炸問題.原型繫統的實驗結果錶明,隨著測試對象中函數數量的增加,傳統Concolic測試路徑數量可能齣現指數型增長,而該方法中測試路徑數量基本保持線性增長.
재함수적요적기출상제출료일충신적Concolic측시방법.해방법이용외부조용적함수적요래피면다차측시외부조용인기적로경폭작문제.재대외부조용진행Concolic측시후,장기반회결과화로경조건작위함수적요.측시과정중조용동일외부조용시,해방법용함수적요체대전개측시,피면료전통Concolic측시과정대외부조용중복측시적문제,완해료조용차수증다화조용심도증가인기적로경폭작문제.원형계통적실험결과표명,수착측시대상중함수수량적증가,전통Concolic측시로경수량가능출현지수형증장,이해방법중측시로경수량기본보지선성증장.
