计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2012年
2期
244-256
,共13页
霍玮%李丰%丁兆伟%桑春雷%张兆庆%冯晓兵
霍瑋%李豐%丁兆偉%桑春雷%張兆慶%馮曉兵
곽위%리봉%정조위%상춘뢰%장조경%풍효병
有限状态自动机%时序安全属性%切片技术%程序静态检测%F-衡量
有限狀態自動機%時序安全屬性%切片技術%程序靜態檢測%F-衡量
유한상태자동궤%시서안전속성%절편기술%정서정태검측%F-형량
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.
程序時序安全屬性可以用有限狀態自動機(FSM)來描述,對該屬性的靜態檢測是噹前研究的熱點之一.該文提齣瞭FSM切片技術,以需求驅動的模式抽取齣關于時序安全屬性等價的程序切片.該切片使檢測規模減小、程序結構簡化,因而減小瞭檢測中組閤爆炸情形齣現的機會,最終使時序安全屬性的靜態檢測在準確性和可伸縮性上都得到瞭提高.實驗錶明,FSM切片可以使Saturn的可伸縮性平均提高到原來的6.34倍,使Fastcheck的準確性平均提高到原來的1.20倍.
정서시서안전속성가이용유한상태자동궤(FSM)래묘술,대해속성적정태검측시당전연구적열점지일.해문제출료FSM절편기술,이수구구동적모식추취출관우시서안전속성등개적정서절편.해절편사검측규모감소、정서결구간화,인이감소료검측중조합폭작정형출현적궤회,최종사시서안전속성적정태검측재준학성화가신축성상도득도료제고.실험표명,FSM절편가이사Saturn적가신축성평균제고도원래적6.34배,사Fastcheck적준학성평균제고도원래적1.20배.
