关键词: 可靠性, 编译前端分析, 构件化, 人机交互, 嵌入式系统

Abstract:

Embedded system has been applied in all kinds of fields. The reliability of embedded system has become the focus. To enhance the reliability of source code in embedded systems, this paper proposes a code reliability      enhancement method based on automatic component technology and compiler front-end analysis. Combined with the idea of component-based development method, the front-end multi-level iterative analysis method is designed. According to the comparison on the similarity between source code and reliability component code, the code with the same function can be acquired. Then by the human-computer interaction, the best replacement strategy can be  selected, and the unreliable source code is replaced by reliable component code. Since the reliable component code is verified, the changed code can be enhanced. The experimental results show that the proposed method can find more than 90% unreliable code segments, and the correct rate is as high as 94.5%, which uses the reliable component code to be replaced. It effectively enhances the reliability of the source code.

Key words: reliability, compiler front-end analysis, component, human-computer interaction, embedded system