VIP15
本课程属于：006-航空航天嵌入式软件测试与验证 航空航天_卫星与无人系统工程 · 共 15 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

航空软件静态分析与编码质量验证

共计 30 章节
可可资料掘金营 · 点击在线试看
01
航空软件质量验证全景
目标=航空软件的特殊性 · 适航要求对静态分析与编码质量验证的约… · DO-178C等标准中的验证目标
航空软件质量验证…目标=航空软件的…
02
编码标准与航空安全
目标=MISRA C/C++ · CERT C/C++ · JSF AV C++等航空常用编码标…
编码标准航空安全
03
静态分析技术原理
目标=词法分析 · 语法分析 · 语义分析
静态分析技术原理目标=词法分析
04
静态分析工具链选型与部署
目标=主流航空静态分析工具（如Pol… · Coverity · LDRA
静态分析工具链选…部署
05
编码规则自动化检查实战
目标=基于真实航空C代码工程配置MI… · 处理误报与漏报 · 生成合规报告并映射到适航审查证据
编码规则自动化检…MI
06
数据流与指针分析在航空软件中的应用
目标=未初始化变量 · 空指针解引用 · 数组越界
数据流指针分析
07
控制流与并发缺陷静态分析
目标=死代码 · 不可达代码 · 无限循环
控制流并发缺陷静态分析
08
形式化方法与静态分析的结合
目标=抽象解释 · 模型检验 · 定理证明在航空软件验证中的角色
形式化方法静态分析的结合
09
编码质量度量体系
目标=圈复杂度 · Halstead度量 · 可维护性指数
编码质量度量体系目标=圈复杂度
10
航空软件编码风格与可读性验证
目标=命名规范 · 函数长度 · 嵌套深度
航空软件编码风格可读性验证
11
静态分析中的误报治理
目标=误报产生机理 · 分类方法 · 抑制策略与基线管理
静态分析误报治理
12
编码质量验证的测试补充
目标=静态分析无法覆盖的动态行为 · 单元测试与静态分析的协同策略 · 基于需求的测试覆盖与结构覆盖的互补关…
编码质量验证的测…目标=静态分析无…
13
航空软件需求可追溯性验证
目标=从需求到代码的静态追溯方法 · 双向追溯矩阵的自动生成 · 需求覆盖分析在编码质量验证中的作用
航空软件需求可追…目标=从需求到代…
14
静态分析在机载软件适航审定中的证据生成
目标=DO-178C对验证证据的要求 · 静态分析报告作为符合性证据的格式与内… · 工具鉴定数据包的组织
静态分析机载软件适航审定
15
航空发动机控制软件静态分析案例
目标=针对FADEC类软件的编码规则… · 数据流缺陷挖掘 · 质量度量分析与整改闭环
航空发动机控制软…FADEC
16
飞行管理软件静态分析案例
目标=针对飞行计划 · 导航数据库处理等模块的静态分析实战 · 包括复杂条件逻辑与边界缺陷检测
飞行管理软件静态…目标=针对飞行计…
17
航电显示软件编码质量验证案例
目标=图形渲染与交互逻辑代码的静态分… · 资源泄漏检测 · 实时性相关编码缺陷识别
航电显示软件编码…目标=图形渲染
18
无人机飞控软件静态分析实战
目标=资源受限环境下的编码质量验证 · 中断服务程序与主循环的静态检查 · 通信协议解析代码的缺陷检测
无人机飞控软件静…目标=资源受限环…
19
航空软件中的安全关键编码模式
目标=防御性编程 · 断言使用 · 错误处理
航空软件安全关键编码模式
20
静态分析配置与规则定制
目标=针对特定航空项目的规则裁剪 · 自定义检查规则开发 · 规则优先级与严重度分级方法
静态分析配置规则定制
21
编码质量验证的自动化流水线
目标=从代码提交到静态分析 · 质量门禁 · 报告生成
编码质量验证的自…目标=从代码提交…
22
静态分析结果的数据管理与趋势分析
目标=缺陷数据库设计 · 历史趋势度量 · 质量衰减预警
静态分析结果的数…趋势分析
23
航空软件外包与供应链中的编码质量验证
目标=对供应商代码的静态分析要求 · 交付物审查 · 远程工具链协同与合规性验证
航空软件外包供应链
24
多语言混合航空软件的静态分析
目标=C/C++与Ada · 汇编混合编程场景下的静态分析策略 · 接口一致性检查与跨语言缺陷检测
多语言混合航空软…C/C++
25
静态分析在软件变更影响分析中的应用
目标=代码修改后的影响范围静态识别 · 回归测试范围推荐 · 变更合规性再验证
静态分析软件变更影响分析
26
航空软件静态分析中的安全漏洞检测
目标=缓冲区溢出 · 整数溢出 · 格式化字符串
航空软件静态分析安全漏洞检测
27
编码质量验证与软件配置管理的集成
目标=基线管理 · 版本对比分析 · 分支策略对静态分析的影响
编码质量验证软件配置管理的集…
28
静态分析工具鉴定与适航符合性
目标=DO-330工具鉴定要求 · 工具鉴定等级确定 · 鉴定证据准备与审查应对策略
静态分析工具鉴定适航符合性
29
航空软件静态分析团队能力建设
目标=角色分工 · 培训体系 · 审查流程
航空软件静态分析…目标=角色分工
30
综合实战
目标=面向一个完整航空软件模块 · 完成编码标准检查 · 静态缺陷分析
综合实战目标=面向一个完…