关键词: 实时软件, 内存错误, 内存泄漏, 代码插装

Abstract: In aerospace industry, safety-critical large-scale real-time software system has a direct impact on space launch missions. It is hard to keep a comprehensive track, analyze or avoid common memory errors such as memory leaks. This paper defines 12 types of memory fault patterns for real-time softwares, and proposes a novel approach to rapid analysis of memory errors for real-time softwares, based on C++ code instrumentation. Information of pointer variables are obtained by C++ code static analysis. With running under various test cases, information including pointer allocation, release, assignment, c-use and p-use codes is collected in real-time. After memory fault analysis, a detailed report can be generated automatically. A case study shows that the proposed approach can find potential memory errors effectively, and make efficient improvements to software quality.

Key words: real-time software, memory error, memory leak, code instrumentation