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

航空航天嵌入式软件全流程验证工程

共计 30 章节
可可资料掘金营 · 点击在线试看
01
航空航天嵌入式软件验证导论
目标=验证的定义与目标 · 适航标准（DO-178C · ECSS）对验证的要求
航空航天嵌入式软…目标=验证的定义
02
嵌入式软件需求验证
目标=需求可验证性准则 · 需求追踪矩阵构建 · 基于形式化方法的矛盾与遗漏检测
嵌入式软件需求验…目标=需求可验证…
03
软件架构验证
目标=架构描述语言（AADL · SysML）的验证视角 · 接口一致性检查
软件架构验证AADL
04
详细设计验证
目标=设计模型静态分析 · 控制流与数据流验证 · 设计到需求的追溯性检查
详细设计验证目标=设计模型静…
05
编码规范与静态验证
目标=MISRA C/C++ · DO-178C 编码标准 · 静态分析工具（Polyspace
编码规范静态验证
06
单元测试工程
目标=单元测试框架（VectorCA… · LDRA）搭建 · 桩与驱动设计
单元测试工程VectorCA
07
集成测试策略
目标=增量集成方法（自顶向下 · 自底向上 · 三明治）
集成测试策略目标=增量集成方…
08
系统测试与需求覆盖
目标=系统测试环境构建 · 需求覆盖分析 · 边界值与等价类划分
系统测试需求覆盖
09
基于需求的测试用例设计
目标=需求分解与测试条件提取 · 测试用例规格说明 · 测试过程与预期结果定义
基于需求的测试用…目标=需求分解
10
结构覆盖率测试
目标=目标码覆盖率与源代码覆盖率差异 · DO-178C 对结构覆盖的要求 · 覆盖率工具链集成
结构覆盖率测试目标=目标码覆盖…
11
形式化验证方法
目标=模型检验 · 定理证明 · 抽象解释
形式化验证方法目标=模型检验
12
运行时验证与监控
目标=运行时验证技术 · 断言与监控器设计 · 机载健康管理中的验证应用
运行时验证监控
13
软件验证环境与工具鉴定
目标=验证环境需求 · 工具鉴定准则（DO-330） · 工具鉴定数据包
软件验证环境工具鉴定
14
硬件/软件接口验证
目标=HSI 需求验证 · 寄存器与内存映射测试 · 中断与 DMA 验证
硬件软件接口验证
15
实时性与性能验证
目标=最坏执行时间分析 · 调度可行性验证 · 时间隔离验证
实时性性能验证
16
安全性验证与失效分析
目标=FMEA/FTA 在软件验证中… · 安全需求验证 · 共因失效分析
安全性验证失效分析
17
鲁棒性与边界测试
目标=异常输入处理 · 资源耗尽测试 · 故障注入与恢复验证
鲁棒性边界测试
18
回归测试与变更影响分析
目标=回归测试策略 · 变更影响分析自动化 · 测试选择与优先级排序
回归测试变更影响分析
19
验证数据管理与可追溯性
目标=验证数据生命周期 · 需求-设计-代码-测试双向追踪 · 配置管理
验证数据管理可追溯性
20
验证评审与同行审查
目标=评审类型与流程 · 评审检查单设计 · 评审记录与问题跟踪
验证评审同行审查
21
独立验证与确认（IV&V）
目标=IV&V 组织与职责 · 独立性要求 · IV&V 技术活动
IV独立验证
22
基于模型的验证与仿真
目标=模型在环 · 软件在环 · 硬件在环
基于模型的验证仿真
23
多核与分区系统验证
目标=多核处理器验证挑战 · 分区间通信验证 · 时间与空间隔离验证
多核分区系统验证
24
机载网络与总线验证
目标=ARINC 429 · AFDX · CAN 等总线协议验证
机载网络总线验证
25
软件验证中的机器学习与AI
目标=AI 组件验证挑战 · 可解释性验证 · 运行时监控
AI软件验证
26
验证自动化与脚本开发
目标=自动化测试框架 · 脚本语言（Python · TCL）在验证中的应用
验证自动化脚本开发
27
验证度量与质量评估
目标=验证覆盖率度量 · 缺陷密度与发现率 · 验证有效性指标
验证度量质量评估
28
适航审定中的验证证据
目标=DO-178C 生命周期数据 · 验证证据审查要点 · 审定当局沟通
适航审定验证证据
29
全流程验证综合实战
目标=以典型飞控或航电软件为对象 · 完成从需求到系统测试的验证计划 · 执行与报告
全流程验证综合实…目标=以典型飞控…
30
验证工程前沿与职业发展
目标=新兴标准与趋势 · 验证工程师能力模型 · 团队协作与工具链演进
验证工程前沿职业发展