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

航空软件MC/DC覆盖率测试

共计 30 章节
可可资料掘金营 · 点击在线试看
01
航空软件适航与MC/DC的强制要求
目标=DO-178C标准框架 · 软件等级划分 · MC/DC作为A级目标的由来与法规依…
MC/DC航空软件适航
02
MC/DC定义与逻辑基础
目标=条件 · 判定 · 条件组合
MC/DC定义
03
MC/DC与语句覆盖、判定覆盖、条件覆盖、MCC的关系
目标=覆盖强度对比 · 子集关系 · 工程选用原则
MC/DCMCC
04
从需求到布尔表达式
目标=如何将航空软件需求规格中的逻辑…
从需求到布尔表达…目标=如何将航空…
05
MC/DC测试用例设计方法
目标=独立影响对法 · 掩码法 · 唯一原因法
MC/DC测试用例设计方法
06
手工设计MC/DC用例实战
目标=针对典型航空机载逻辑（如起落架… · 发动机点火）设计最小测试集
MC/DC手工设计
07
MC/DC覆盖率计算
目标=判定覆盖率 · 条件覆盖率 · MC/DC覆盖率的公式
MC/DC覆盖率计算
08
航空软件测试环境搭建
目标=目标机测试 · 宿主机测试 · 仿真环境
航空软件测试环境…目标=目标机测试
09
插桩技术原理
目标=源码插桩 · 目标码插桩 · 汇编插桩的优缺点及对航空软件实时性的…
插桩技术原理目标=源码插桩
10
插桩工具链选型与配置
目标=LDRA · VectorCAST · RapiCover
插桩工具链选型配置
11
测试用例生成与优化
目标=基于约束求解 · 符号执行 · 搜索算法的MC/DC用例自动生成技术
测试用例生成优化
12
MC/DC测试执行流程
目标=从测试计划 · 用例设计 · 执行
MC/DC测试执行流程
13
覆盖数据采集与处理
目标=探针数据记录 · 运行时开销控制 · 数据回传与离线分析
覆盖数据采集处理
14
未覆盖条件的分析与处理
目标=不可达代码 · 冗余条件 · 防御性编程
未覆盖条件的分析处理
15
MC/DC与需求追溯
目标=如何建立需求 · 判定 · 条件
MC/DC需求追溯
16
航空软件中复杂表达式的MC/DC测试
目标=嵌套判定 · 多条件耦合 · 算术逻辑混合表达式的分解策略
MC/DC航空软件
17
短路求值对MC/DC的影响
目标=C/C++短路语义 · 编译器优化 · 条件顺序对覆盖集的影响与应对
MC/DC短路求值对
18
MC/DC测试中的边界与等价类
目标=结合边界值分析 · 等价类划分提升条件取值的有效性
MC/DC测试
19
基于模型的MC/DC测试
目标=使用SCADE · Simulink等模型开发环境生成M…
MC/DC基于模型的
20
MC/DC回归测试策略
目标=代码变更影响分析 · 覆盖基线维护 · 回归用例最小化
MC/DC回归测试策略
21
MC/DC覆盖率与结构覆盖的适航审查
目标=审查要点 · 证据包内容 · 常见问题与符合性论证
MC/DC覆盖率
22
工具鉴定与资格认证
目标=DO-330框架下MC/DC覆… · 鉴定证据与使用限制
工具鉴定资格认证
23
MC/DC测试实战案例一
目标=飞控计算机表决逻辑的MC/DC…
MC/DC测试实战案例一
24
MC/DC测试实战案例二
目标=发动机全权限数字控制（FADE…
MC/DC测试实战案例二
25
MC/DC测试实战案例三
目标=座舱显示系统告警逻辑的MC/D…
MC/DC测试实战案例三
26
MC/DC测试实战案例四
目标=航空通信导航识别（CNI）软件…
MC/DC测试实战案例四
27
MC/DC测试中的缺陷发现
目标=利用覆盖分析定位逻辑错误 · 遗漏条件 · 错误条件组合的实例
MC/DC测试
28
MC/DC测试效率提升
目标=并行测试 · 分布式执行 · 增量覆盖分析
MC/DC测试效率提升
29
MC/DC测试文档与证据
目标=测试计划 · 测试说明 · 测试结果
MC/DC测试文档
30
课程综合实战
目标=给定一个航空软件模块 · 完成从需求分析 · MC/DC用例设计
课程综合实战目标=给定一个航…