Klocwork静态源代码分析工具与DO-178B标的符合性研究.pdfVIP

KlocworkKlocwork静态源代码分析工具静态源代码分析工具 与 与DO-178BDO-178B标的符合性研究标的符合性研究 Klocwork白皮书 ·2008.9 北京智诚创想北京智诚创想 KlocworkKlocwork静态源代码分析工具与静态源代码分析工具与DO-178BDO-178B 标准的符合性研究标准的符合性研究 前言 本文目的在于总结如何使用Klocwork Insight 自动源代码分析工具帮助软件开发机构符合 DO-178B标准――机载系统和设备合格审定中的软件考虑。 由航空无线电委员会(RTCA)颁布的DO-178B标准是保证机载软件系统安全、可靠性的一 组最佳实践。Klocwork静态分析工具能满足标准中的特殊条目，特别是软件验证过程和软件 生命周期数据所提出的要求。本文将标准的特殊要求与Klocwork 的分析能力进行了映射，对 Klocwork Insight所能支持的标准相关条目进行了总结。 作为静态源代码分析工具，Klocwork被划分为软件验证类工具。本文还归纳了进行合格 性鉴定时Klocwork应提供的信息。 //// KlocworkKlocwork静态源代码分析技术简介静态源代码分析技术简介 自动化源代码静态分析技术用于查找并描述源代码中存在的薄弱环节，其基础是静态代码分析技术。这种 分析技术不同于传统的单元测试、渗透测试等动态分析技术，因为分析工作是在软件构建期间进行的，分析的 对象是存在问题的程序或模块。 Klocwork应用复杂的静态分析技术，如跨程序控制流和数据流分析、值范围传播及符号逻辑估计，分析 C 、C++和Java源代码，自动定位严重的代码质量问题，包括： » 操作类错误 » 安全漏洞 » 体系架构异常 » 100多种软件度量 » 编码规则类、维护类问题 Klocwork静态源代码分析工具与DO-178B标准的符合性研究 Klocwork 白皮书 1 · · 操作类错误与安全漏洞分析操作类错误与安全漏洞分析 Klocwork可以检查的操作类缺陷和安全漏洞数可达百种，对于C 、C++语言，可以分为下列大类。关于 这些缺陷和安全漏洞的详细信息请参加本文的附录部分。 » 内存及资源管理类 » 程序数据管理类 » 缓冲区溢出类 » 并发违反类 » 平台支持类 » 未经验证的用户输入类 » 存在安全漏洞的编码实践类 » 维护类问题 体系架构分析体系架构分析 Klocwork Insight可以从已有的源代码中生成 精确的软件架构和分区图。图形化的界面使软件 设计人员可以理解和掌握软件系统的组件、接口 及组件间的相互关系，尝试使用各种优化模型进 行优化而不影响系统的功能。这种自动化的源代 码发现功能，使软件架构师能理解代码间的关系 并将结果进行可视化展示，建立“假设(what-if)” 情况，并进行再工程，对代码作进一步的优化。 度量分析度量分析 除了缺陷检测和体系架构分析能力， Klocwork还能提供稳定的软件度量分析 解决方案。Klocwork Insight能支持100 多种软件度量，如McCabe 圈复杂度、 耦合性度量、维护性度量和风险度量。 这些度量可以组合成复合度量，支持客 户的软件度量程序需求。度量的门限值 可以通过报告管理仪表板界面在开发人 员的桌面和系统级构建时进行设定。 Klocwork静态源代码分析工具与DO-178B标准的符合性研究 Klocwork 白皮书 2 · · //// Klocwork InsightKlocwork Insight支持的支持的DO-178BDO-178B标准的条目标准的条目 Klocwork Insight可以对标准的两个高层条目提供支持：