计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2010年
7期
1207-1214
,共8页
郑衍松%佟冬%李皓%王克义%程旭
鄭衍鬆%佟鼕%李皓%王剋義%程旭
정연송%동동%리호%왕극의%정욱
硬件故障%故障局部化%不确定性过滤%异常函数调用
硬件故障%故障跼部化%不確定性過濾%異常函數調用
경건고장%고장국부화%불학정성과려%이상함수조용
运行已有大型商业软件进行系统级验证是获得高质量SoC设计的有效手段,然而一旦硬件故障导致该类软件运行失效,故障局部化过程将十分困难.为此提出一种基于不确定性过滤的硬件故障局部化方法FaLoFiN.首先提取不确定性函数调用集;然后分别从参考运行和故障运行中过滤不确定性函数调用集;最后通过比较、定位异常函数调用,实现与硬件故障相关代码范围的局部化.实验结果表明,FaLoFiN方法具有较高的硬件故障局部化准确度,能有效地将PKUnity-86系统中的真实硬件故障局部化.
運行已有大型商業軟件進行繫統級驗證是穫得高質量SoC設計的有效手段,然而一旦硬件故障導緻該類軟件運行失效,故障跼部化過程將十分睏難.為此提齣一種基于不確定性過濾的硬件故障跼部化方法FaLoFiN.首先提取不確定性函數調用集;然後分彆從參攷運行和故障運行中過濾不確定性函數調用集;最後通過比較、定位異常函數調用,實現與硬件故障相關代碼範圍的跼部化.實驗結果錶明,FaLoFiN方法具有較高的硬件故障跼部化準確度,能有效地將PKUnity-86繫統中的真實硬件故障跼部化.
운행이유대형상업연건진행계통급험증시획득고질량SoC설계적유효수단,연이일단경건고장도치해류연건운행실효,고장국부화과정장십분곤난.위차제출일충기우불학정성과려적경건고장국부화방법FaLoFiN.수선제취불학정성함수조용집;연후분별종삼고운행화고장운행중과려불학정성함수조용집;최후통과비교、정위이상함수조용,실현여경건고장상관대마범위적국부화.실험결과표명,FaLoFiN방법구유교고적경건고장국부화준학도,능유효지장PKUnity-86계통중적진실경건고장국부화.
