计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
8期
161-164
,共4页
自动机%自动测试%符号化执行%抽象机
自動機%自動測試%符號化執行%抽象機
자동궤%자동측시%부호화집행%추상궤
Automation%Auto testing%Symbolic execution%Abstract machine
针对高可信软件提出一种软件脆弱性自动测试方法.与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试.解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率.
針對高可信軟件提齣一種軟件脆弱性自動測試方法.與傳統測試方法不同,該方法對待測試程序進行預處理,使用自動機學習算法構造軟件與環境交互的抽象機模型,在符號化執行迭代過程中利用抽象機模型指導符號化執行,併動態生成測試數據,同時精化交互抽象機用于後繼的符號化迭代測試.解決瞭傳統符號化執行測試技術中缺乏指引、具有較高盲目性的問題,同時也提高瞭符號化執行測試的效率和代碼覆蓋率.
침대고가신연건제출일충연건취약성자동측시방법.여전통측시방법불동,해방법대대측시정서진행예처리,사용자동궤학습산법구조연건여배경교호적추상궤모형,재부호화집행질대과정중이용추상궤모형지도부호화집행,병동태생성측시수거,동시정화교호추상궤용우후계적부호화질대측시.해결료전통부호화집행측시기술중결핍지인、구유교고맹목성적문제,동시야제고료부호화집행측시적효솔화대마복개솔.