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

航空软件需求到验证闭环管理

共计 30 章节
可可资料掘金营 · 点击在线试看
01
航空软件需求到验证闭环管理导论
目标=闭环管理的定义 · 价值 · 适用场景
航空软件需求到验…目标=闭环管理的…
02
航空软件适航标准与闭环管理要求
目标=DO-178C · ARP4754A · DO-330等标准对需求追溯
航空软件适航标准闭环管理要求
03
航空软件需求工程基础
目标=需求分类（功能 · 性能 · 接口
航空软件需求工程…目标=需求分类
04
航空软件需求规格说明编写
目标=结构化需求模板 · 自然语言与形式化描述 · 需求属性定义
航空软件需求规格…目标=结构化需求…
05
需求质量与验证性分析
目标=需求完整性 · 一致性 · 无歧义性
需求质量验证性分析
06
需求追溯模型与双向追溯矩阵
目标=从系统需求到软件需求 · 设计 · 代码
需求追溯模型双向追溯矩阵
07
需求变更影响分析与闭环控制
目标=变更请求评估 · 影响范围识别 · 变更审批
需求变更影响分析闭环控制
08
航空软件架构设计与需求分配
目标=将软件需求分配到高层架构组件 · 建立设计需求与原始需求的映射
航空软件架构设计需求分配
09
详细设计与需求实现
目标=低层设计对需求的覆盖 · 设计约束 · 接口控制文档与需求实现一致性检查
详细设计需求实现
10
航空软件验证策略与计划
目标=验证目标 · 验证方法（评审 · 分析
航空软件验证策略计划
11
需求验证与确认的区别与实施
目标=验证“正确构建”与确认“构建正…
需求验证确认的区别
12
基于需求的测试用例设计
目标=等价类 · 边界值 · 决策表
基于需求的测试用…目标=等价类
13
结构化覆盖分析与需求覆盖
目标=语句 · 分支 · MC/DC覆盖与需求覆盖的关联
结构化覆盖分析需求覆盖
14
需求追溯在验证中的落地
目标=测试用例与需求的追溯 · 测试结果与需求的关联 · 追溯矩阵的自动化生成
需求追溯验证
15
验证证据与生命周期数据管理
目标=验证报告 · 测试日志 · 问题报告
验证证据生命周期数据管理
16
需求到验证闭环中的评审管理
目标=需求评审 · 设计评审 · 验证评审的闭环检查点
需求到验证闭环评审管理
17
航空软件问题报告与闭环纠正
目标=问题发现 · 分类 · 根本原因分析
航空软件问题报告闭环纠正
18
需求验证工具链集成
目标=需求管理工具 · 测试管理工具 · 追溯工具
需求验证工具链集…目标=需求管理工…
19
基于模型的系统工程与需求闭环
目标=MBSE在需求建模 · 仿真验证 · 模型追溯中的应用与航空软件实践
基于模型的系统工…需求闭环
20
形式化方法在需求验证中的应用
目标=形式化规格 · 模型检验 · 定理证明对需求一致性与正确性的验证支…
形式化方法需求验证
21
航空软件安全性需求与验证闭环
目标=FHA · PSSA · SSA与软件安全需求的关系
航空软件安全性需…验证闭环
22
机载软件需求到验证的实战案例
目标=以典型机载系统为例 · 完整走通需求捕获 · 追溯
机载软件需求到验…目标=以典型机载…
23
需求到验证闭环的度量与监控
目标=需求稳定性 · 追溯覆盖率 · 验证通过率
需求到验证闭环的…监控
24
多层级需求闭环管理
目标=系统需求 · 软件需求 · 子需求之间的层级追溯与验证接口协调
多层级需求闭环管…目标=系统需求
25
供应商与外包软件的需求验证闭环
目标=供应商需求分解 · 验证接口 · 数据交付与主制造商闭环管控
供应商外包软件的需求验…
26
需求到验证闭环的配置管理与基线
目标=需求基线 · 设计基线 · 测试基线的建立
需求到验证闭环的…基线
27
航空软件需求验证中的独立验证与确认
目标=IV&V组织 · 职责 · 介入时机
航空软件需求验证独立验证
28
需求到验证闭环的自动化与持续集成
目标=自动化测试 · 持续追溯检查 · 需求变更触发回归的流水线设计
需求到验证闭环的…持续集成
29
闭环管理中的异常与偏离处理
目标=需求偏离 · 验证豁免 · 临时批准
闭环管理异常
30
课程综合实战与闭环管理总结
目标=综合案例演练 · 闭环管理检查单 · 常见陷阱与最佳实践
课程综合实战闭环管理总结