中国电子商情·通信市场
中國電子商情·通信市場
중국전자상정·통신시장
TELECOM MARKET
2014年
1期
48-52
,共5页
孟宪凯%谭庆平%徐建军%赵昕琳
孟憲凱%譚慶平%徐建軍%趙昕琳
맹헌개%담경평%서건군%조흔림
钦件容错%控制流检测%瞬态故障
欽件容錯%控製流檢測%瞬態故障
흠건용착%공제류검측%순태고장
由瞬态故障引发的软错误已经成为影响计算机系统可靠性的主要因素之一.控制流错误作为软错误的一种主要表现形式,约占软错误总量的33％ ～ 77％.本文提出了一种在源代码级实现控制流错误检测的方法SLCEDM,该方法针对高级语言程序以函数作为基本功能单元的特点,通过函数标签分析策略解决了函数间控制流容错的难点问题.并且,由于基本块的划分及标签分配以函数为界,可以根据函数内控制流的结构选用最适合的标签更新和检测手段,增强了可配置性,具有开销小、检错率高、易于实现等优势.
由瞬態故障引髮的軟錯誤已經成為影響計算機繫統可靠性的主要因素之一.控製流錯誤作為軟錯誤的一種主要錶現形式,約佔軟錯誤總量的33％ ～ 77％.本文提齣瞭一種在源代碼級實現控製流錯誤檢測的方法SLCEDM,該方法針對高級語言程序以函數作為基本功能單元的特點,通過函數標籤分析策略解決瞭函數間控製流容錯的難點問題.併且,由于基本塊的劃分及標籤分配以函數為界,可以根據函數內控製流的結構選用最適閤的標籤更新和檢測手段,增彊瞭可配置性,具有開銷小、檢錯率高、易于實現等優勢.
유순태고장인발적연착오이경성위영향계산궤계통가고성적주요인소지일.공제류착오작위연착오적일충주요표현형식,약점연착오총량적33％ ～ 77％.본문제출료일충재원대마급실현공제류착오검측적방법SLCEDM,해방법침대고급어언정서이함수작위기본공능단원적특점,통과함수표첨분석책략해결료함수간공제류용착적난점문제.병차,유우기본괴적화분급표첨분배이함수위계,가이근거함수내공제류적결구선용최괄합적표첨경신화검측수단,증강료가배치성,구유개소소、검착솔고、역우실현등우세.
