[doc]C^4ISR系统软件质量的静态分析.docx

C ISR 系统软件质量的静态分析 C4ISR 系统软件质量的静态分析 O 周晓明 C4ISR系统的软件是C4ISR系统中最重要的部 分.其要求具有很高的可靠性 ,可维护性和安全性 , 以保证系统效能的实现.因此，在C4ISR系统软件开 发中 ,必须采用有效的手段和工具 ,进行软件的质 量保证活动 ,以支持开发人员在最短的时间内 ,用 最低的费用开发高质量的软件 ,满足军事应用需 求,同时减少维护费用 . 在以往的C4ISR系统软件质量保证活动中，比 较注重软件的动态黑盒测试 ,即依据软件的需求分 析和设计说明 ,采用大量有效的测试用例 ,对软件 进行运行测试 ,来检验软件的正确性 ,发现软件的 错误和缺陷 .这是软件质量保证中的重要环节 ,也 是十分有效的测试方法 .但是软件的动态测试也有 许多不足 ,例如测试的效果对测试用例的数量和测 试用例设计有很大的依赖性 ,错误的分析和错误修 改费用大 ,而且黑盒测试难以检测软件代码的内部 结构和编码的规范性 .因此,仅仅依靠软件的动态 黑盒检测是不够的 ,需要根据软件质量模型在软件 开发的各个阶段对软件的质量进行静态度量 ,以便 及早发现错误 ,预测错误以及对软件的编程规范进 行定量检查 .通过静态质量分析 ,提高软件的可维 护性,可靠性 .同时,软件质量静态分析 ,有助于开 发队伍通过IS09001认证，提高开发队伍的CMM 等级. ,c4ISR 系统软件的质量保证 为实现复杂的军事应用需求 ,C4ISR 软件系统 的规模大 , 复杂程度高 , 软件之间的接口关系复杂 . 因此,它的质量保证是个复杂艰巨的任务 ,I 需要从 软件过程的改善 ,软件工程化的实施以及软件测试 等多个方面来保证开发中软件的质量 . 软件的质量保证是依据软件质量标准进行的 , 如ISO9000软件标准系列和IEEE729-1983,730- 1984等.C4ISR系统软件作为高可靠性的军事应用 软件，也可参照IEC1508,IEC880和GJB2786软件 质量标准 . ‘为保证软件开发的质量 ,必须在软件开发中彻 底实施软件工程化 .规范的软件过程是软件质量保 证的必要条件，其中CMM/PSP/TSP（软件过程能 力成熟度模型 /个体软件过程 /群组软件过程 ）体系 作为软件工程研究的重大成果 ,在军事系统和工业 界已得到广泛接受 .在软件工程化实施软件质量保 ? 56? 证中 ,软件测试是质量保证的关键 . 软件测试是在软件提交运行前 ,对软件需求分 析,设计说明和程序代码的检查 .软件测试采用静 态分析和动态分析方法 ,如图 1 所示 .动态分析方 法是根据软件开发阶段的规格说明和程序的内部 结构而精心设计一批测试用例 ,并使用测试用例运 行程序 ,发现错误的过程 .静态分析方法是依据设 计模型,源代码 ,对软件的内部结构和编程规范进 行检查 .静态分析可以不执行程序 . 码抽查 （检查程序的设计风 广静态分析 --一格,标准性 ,可读性 ） 1（不执行被L静态分析器（利用工具自动分 软件测试-j测程序）析） II 广黑盒测试 （测试程序功能和性 L霆墨蓑触,（执行被I开丌I,隐L鳅馏 测程序 ）L 黑盒测试 （测试程序结构 ,有逻 辑覆盖法 ,路径覆盖法 ) 图 1 软件测试方法示意图 软件动态分析是通过设计大量的测试用例 ,来 检查程序功能和需求的一致性 ,以及代码编写的正 确性 .这种测试比较简单有效直观 ,但同时也存在 些不足 .例如: 动态黑盒测试往往要在软件开发完成以后 进行,因此发现错误的时间比较晚 ,分析 ,修改软件 的费用高 . 测试质量对测试用例的依赖比较大 .测试 用例的数量和针对性会影响测试的覆盖率 ,高覆盖 率的测试需要大量有效的测试用例 ,测试成本比较 高 ,测试效率比较低 . 动态黑盒测试只可以检测软件的功能和性 能错误 ,但是对于软件的可读性 ,可维护性以及软 件编码的规范化程度等无法检测 . 据统计 ,在不同的阶段发现和更改一个错误的 费用是不同的 .例如 .测试阶段发现和更改错误的 费用是编码阶段的 4 倍,而维护阶段发现和更改错 误的费用则是编码阶段的 16 倍.另外,一个项目中 80%的错误往往是由 20%的程序模块引起的 .因此 , 如何有效地确认和标识出这20ozo的部件，是十分重 要的 .而软件质量的静态分析是预测错误模块 ,及 早发现错误的有效手段 . 二,软件质量静态分析 2003:~2 期.f 刚 1|矸” 软件质量静态分析是采用一定的软件质量评 估模型 ,对软件的源代码进行分析 ,获得代码的质 量报告,以保证软件源代码的可维护性 ,可读性,高 可靠性和可移植性 .同时,根据定义的编程规范 ,检 查源代码的编程风格 ,以保证大系统开发中的软件 源代