电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2010年
11期
2465-2470
,共6页
郑衍松%佟冬%王克义%程旭
鄭衍鬆%佟鼕%王剋義%程旭
정연송%동동%왕극의%정욱
多粒度%动态控制流不变式%硬件故障%故障局部化
多粒度%動態控製流不變式%硬件故障%故障跼部化
다립도%동태공제류불변식%경건고장%고장국부화
本文提出了一种基于多粒度动态控制流不变式的硬件故障局部化方法MDCI.该方法基于预先提取的置信度较高的各种粒度动态控制流不变式,多粒度逐级迭代地检验控制流不变式程序点是否可达,从而将与硬件故障相关的代码范围局部化.实验结果表明MDCI只需检验少量的控制流程序点,就能准确地将与故障相关的代码范围局部化.
本文提齣瞭一種基于多粒度動態控製流不變式的硬件故障跼部化方法MDCI.該方法基于預先提取的置信度較高的各種粒度動態控製流不變式,多粒度逐級迭代地檢驗控製流不變式程序點是否可達,從而將與硬件故障相關的代碼範圍跼部化.實驗結果錶明MDCI隻需檢驗少量的控製流程序點,就能準確地將與故障相關的代碼範圍跼部化.
본문제출료일충기우다립도동태공제류불변식적경건고장국부화방법MDCI.해방법기우예선제취적치신도교고적각충립도동태공제류불변식,다립도축급질대지검험공제류불변식정서점시부가체,종이장여경건고장상관적대마범위국부화.실험결과표명MDCI지수검험소량적공제류정서점,취능준학지장여고장상관적대마범위국부화.
