采用C++代码插装的实时软件内存错误分析

摘要：

在航天领域中，安全关键的大型实时软件系统往往直接影响到任务成败，一般难以全面检测、分析或避免内存泄漏等常见内存错误。定义了实时软件的12种典型内存故障模式，提出了一种基于C++代码插装的实时软件内存错误快速分析方法。该方法通过对C++源代码进行静态分析，获取指针变量相关信息；通过C++代码插装和运行不同测试用例，实时收集统计C++指针对象的分配、释放、赋值、c-use和p-use使用情况，结合实时软件的典型内存故障模式进行分析，并自动生成详情报告。应用案例表明，该方法能够高效快捷地发现实时软件潜在的典型内存错误，从而有效提高软件质量。

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

分类号：TP311.5(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.60970022

在线出版日期：2014-06-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：704-711