陈丽 于霞 余俊 李晓利

（1.电子信息系统复杂电磁环境效应国家重点实验室 河南省洛阳市 471003）

（2.中国兵器工业导航与控制技术研究所 北京市 100000）

“软件定义装备”，软件是信息化装备的灵魂。随着软件密集型装备比重日趋提高、更新换代周期不断缩短，确保软件质量、提升装备战备完好率成为当前首要任务。经过充分测试的装备软件能够消除软件潜在风险，降低装备故障率，提升用户使用信心。

静态分析技术是静态测试的一个分支，它不需要实际运行软件程序和编写测试用例，通过分析代码来发现程序中潜在的错误。本文在分析静态分析技术内涵及优势的基础上，从装备软件测试角度设计了静态分析规则集，并依托测试工具LDRA Testbed，以某雷达软件为例，阐述静态分析技术在装备软件验收中的应用。

1 静态分析技术

静态分析是一种对程序代码进行机械性、程式化的特性分析方法，一般包括控制流分析、数据流分析、接口分析、表达式分析、编码规范审核。虽然在编译代码时能发现一些程序错误，但其数量是非常有限的，不能完全替代静态分析。因此程序编译通过后，还应当对其进行静态分析测试。

经过编译和测试，每千行代码中平均有10-20 个缺陷[1]。按经验估算，静态分析一般能够发现30%～70%的逻辑设计和编码错误[2]。在实际使用中，静态分析测试比动态测试效率更高，能快速找到并定位缺陷。

1.1 控制流分析

控制流分析是使用控制流程图系统地检查被测程序的控制结构的工作[3]。……