DO-178C 结构覆盖分析与测试实现

📚 共计 30 章节

软件级别划分、目标与产出物、结构覆盖在适航中的角色。

结构覆盖基础概念

语句覆盖、分支覆盖、MC/DC覆盖的定义与区别。

语句分支MC/DC

测试环境搭建

宿主测试与目标机测试、测试工具链（LDRA、VectorCAST）介绍。

环境工具链

需求可追溯性

从高层需求到低层需求的分解，覆盖矩阵的建立。

基于需求的测试方法

等价类划分、边界值分析、因果图法在航空软件中的应用。

等价类边界值

语句覆盖分析与实现

如何编写测试用例达到100%语句覆盖，工具报告解读。

语句覆盖用例

分支覆盖分析与实现

判定覆盖与条件覆盖的差异，分支覆盖的测试用例设计。

分支覆盖判定

MC/DC覆盖（上）

MC/DC的独有条件原则，唯一原因法与屏蔽法。

MC/DC唯一原因

MC/DC覆盖（下）

复杂逻辑表达式的MC/DC测试用例生成，工具辅助分析。

数据耦合与控制耦合

模块间接口测试，耦合覆盖的分析方法。

结构覆盖分析过程

静态分析、动态测试、未覆盖代码的审查与处理。

测试用例设计原则

鲁棒性测试、异常测试、边界测试在适航中的要求。

鲁棒性异常

测试用例与测试规程

测试用例的编写规范，测试规程的步骤化描述。

测试执行与结果记录

测试日志、测试脚本、自动化执行框架。

日志自动化

测试结果分析与回归测试

失败用例分析，修改后的回归策略。

结构覆盖工具 qualification

工具鉴定等级（TQL），工具验证方法。

LDRA Testbed 实操

导入代码、配置覆盖类型、运行测试、生成报告。

VectorCAST 实操

单元测试框架搭建、桩函数与驱动函数编写。

VectorCAST桩函数

手工代码审查与覆盖补充

当工具无法覆盖时，人工分析的方法与记录。

结构覆盖与系统测试的衔接

集成测试中的覆盖收集，系统测试对覆盖的贡献。

集成系统测试

多版本与派生代码的覆盖

自动生成代码、复用代码的覆盖分析策略。

覆盖数据的管理与追溯

覆盖数据库、覆盖矩阵、覆盖报告的生成。

数据库矩阵

评审与审计准备

结构覆盖评审 checklist，常见发现项与整改措施。

审计checklist

DO-178C 与 DO-331 覆盖差异

模型覆盖 vs 代码覆盖。

安全关键代码的覆盖策略

中断处理、看门狗、冗余代码的覆盖处理。

低层测试与高层测试的覆盖映射

如何从单元测试覆盖推导集成测试覆盖。

覆盖目标未达成的处理流程

偏差申请、覆盖豁免、替代方法。

案例实战（一）

一个简单的飞行控制律模块的语句与分支覆盖测试。

实战控制律

案例实战（二）

一个复杂的逻辑判断模块的MC/DC覆盖测试。

课程总结与认证经验分享

常见陷阱、最佳实践、持续改进建议。