计算机与现代化
計算機與現代化
계산궤여현대화
COMPUTER AND MODERNIZATION
2013年
3期
74-77
,共4页
符号执行%数据挖掘%程序路径%可达性%不可到达路径
符號執行%數據挖掘%程序路徑%可達性%不可到達路徑
부호집행%수거알굴%정서로경%가체성%불가도체로경
要把静态分析技术真正应用于软件工程的实践中,程序中的不可到达路径依旧是一个巨大的障碍.在缺乏不可到达路径信息的情况下,数据流信息只能以一种非常保守的方式被利用,因而使进一步的工作,例如测试数据生成或者软件缺陷检测变得更加困难和低效.本文提出一种融合符号执行以及数据挖掘的混合型方法来检测程序中的不可到达路径,充分利用符号执行的精确性以及数据挖掘的高效性,这种方法被证明是有效并且实用的.
要把靜態分析技術真正應用于軟件工程的實踐中,程序中的不可到達路徑依舊是一箇巨大的障礙.在缺乏不可到達路徑信息的情況下,數據流信息隻能以一種非常保守的方式被利用,因而使進一步的工作,例如測試數據生成或者軟件缺陷檢測變得更加睏難和低效.本文提齣一種融閤符號執行以及數據挖掘的混閤型方法來檢測程序中的不可到達路徑,充分利用符號執行的精確性以及數據挖掘的高效性,這種方法被證明是有效併且實用的.
요파정태분석기술진정응용우연건공정적실천중,정서중적불가도체로경의구시일개거대적장애.재결핍불가도체로경신식적정황하,수거류신식지능이일충비상보수적방식피이용,인이사진일보적공작,례여측시수거생성혹자연건결함검측변득경가곤난화저효.본문제출일충융합부호집행이급수거알굴적혼합형방법래검측정서중적불가도체로경,충분이용부호집행적정학성이급수거알굴적고효성,저충방법피증명시유효병차실용적.