（國防科學技術大學 計算機學院，湖南省 長沙市 郵編：410073）
摘要：由瞬態故障引發的軟錯誤已經成為影響計算機系統可靠性的主要因素之一�？刂屏麇e誤作為軟錯誤的一種主要表現形式，約占軟錯誤總量的33%～77%。本文提出了一種在源代碼級實現控制流錯誤檢測的方法SLCEDM，該方法針對高級語言程序以函數作為基本功能單元的特點，通過函數標簽分析策略解決了函數間控制流容錯的難點問題。并且，由于基本塊的劃分及標簽分配以函數為界，可以根據函數內控制流的結構選用最適合的標簽更新和檢測手段，增強了可配置性，具有開銷小、檢錯率高、易于實現等優勢。
關鍵詞：軟件容錯; 控制流檢測; 瞬態故障
中圖分類號：        文獻標識碼：        文章編號：

A Source-code Level Control-flow Error Detection Method
MENG Xian-kai
　�。⊿chool of Computer，National University of Defense Technology，Changsha 410073, China.
　　Corresponding author: Meng Xian-kai，E-mail: mengxiankai@gmail.com）
Abstract：Soft errors caused by transient faults has become one of the main factors for affecting the reliability of computer systems. As an important form of soft errors, control flow errors account for about 33% ~ 77% of the total. This paper presents a source-code level control flow error detection method, SLCEDM. The method aims at high-level language programs which use functions as the basic functional unit. We solved the difficult problem of control flow checking between functions by introducing inter-function label analysis. Also, we can define basic blocks and assign block labels within the confine of function boundary. Based on the innovation, we can choose the the most suitable algorism to check the control-flow errors within function boundary, thus enhances configurability. This method has advantages of small overhead, high error detection rate and easy-to-implement.
Key words：software fault tolerance; control flow checking; transient fault

參考文獻 (References)
[1] Clark J A, Pradhan D K. Fault injection: A method for validating computer-system dependability[J]. Computer, 1995, 28(6): 47-56.
[2] Ohlsson J. , Rimen M. , Gunneflo U. A study of the effects of transient fault injection into a 32-bit risc with built-in watchdog. Proc. of the FTCS 22nd Fault Tolerant Computing Symposium. 1992: 316–325
[3] Schuette M. , Shen J. Processor control flow monitoring using signatured instruction streams. IEEE Transactions on Computers. 1987: 36(3):264–276.
[4] 李愛國,洪炳镕,王司.軟件實現的程序控制流校驗方法研究進展[J].哈爾濱工業大學學報,2008,40(3):407-412.
[5] Oh N, Shirvani P P, McCluskey E J. Control-flow checking by software signatures[J]. Reliability, IEEE Transactions on, 2002, 51(1): 111-122.

項目基金：國家自然基金資助（項目編號：61202116）

作者簡介：
孟憲凱（1985- ），男，黑龍江訥河，在讀碩士研究生，主要研究方向為軟件容錯技術。