万泽超 朱转平 黎剑爱

摘 要：如今嵌入式系统在越来越多的场合被使用，嵌入式软件的质量是影响系统研发进度及结果的关键因素。鉴于此，嵌入式软件测试工作逐渐受到软件研发部门及质检部门的重视，对应用在这些领域的嵌入式软件进行专业的测试很有必要。本文基于对嵌入式软件静态测试相关问题进行分析和研究。

关键词：嵌入式软件；静态测试；C++Test；PC-Lint

一、嵌入式软件的特点及本身缺陷

首先，嵌入式软件具有实时性。例如很多移动智能设备系统中的嵌入式软件要求软件能够实现实时运行，在特定时间内需完成接收、处理、发送信息等一系列任务，对处理时间、处理任务的时序性、软件运行速度以及避免运行时内存遗漏都有严格要求。嵌入式软件要求高可靠性。嵌入式软件一般有别与通用软件适用环境，其工作环境常常伴随着强辐射、强磁场、真空、远距离操控等复杂问题。嵌入式软件具有专用性。嵌入式软件的开发一般是针对特定用途、特定场景，具有很强的专用性。嵌入式软件与硬件关系密切。嵌入式系统由软件和硬件组成，其中软件部分正是为硬件部分设计的。嵌入式软件的编写还涉及到嵌入式系统的外围设备，例如通信接口、输入/输出设备、外设接口等。由于C/C++语言本身风格自由易出错，程序员在编写过程中要格外注意防止安全漏洞的产生。通过静态测试工具辅助程序员排除缓冲区溢出、数组越界、指针引用错误、内存泄漏等安全隐患，消除代码缺陷的同时保障程序的安全。……