赵正旭，梅成芳，张 强

(石家庄铁道大学 复杂网络与可视化研究所，河北 石家庄 050043)

0 引 言

嵌入式软件广泛应用于航天、通信、轨道交通等领域，其自身有着实时性、专用性、与硬件紧密关联等特点，因此嵌入式软件对软件可靠性、安全性要求极高。静态测试是指不运行程序源代码，通过人工或者借助工具来发现源代码中隐藏的空指针、变量未初始化、数组越界、内存泄漏、嵌套错误等问题[1]。人工检测代码缺陷受测试人员经验的影响，且难度高、工作强度大，一般采取工具检测和人工干预的方式来相互配合提高工作效率。针对嵌入式软件自身特点，文中提出一种在嵌入式软件初期编码阶段进行静态测试的方法，以保障高质量代码编写以及嵌入式软件的安全性、可靠性。

1 概 述

1.1 嵌入式软件特点

国内普遍认同的嵌入式系统定义为：以应用为中心，以计算机技术为基础，软硬件可裁剪，适应应用系统对功能、可靠性、成本、体积、功耗等严格要求的专用计算机系统[2]。

嵌入式软件具有实时性。例如航天系统中的嵌入式软件要求软件能够实现实时运行，在特定时间内需完成接收、处理、发送信息等一系列任务，对处理时间、处理任务的时序性，软件运行速度以及避免运行时内存遗漏都有严格要求[3]。

嵌入式软件要求高可靠性。嵌入式软件一般有别于通用软件适用环境，其工作环境常常伴随着强辐射、强磁场、真空、远距离操控等复杂问题。

嵌入式软件具有专用性。……