📘 需求追踪·验证手册
嵌入式系统
⚡ 30章 · 从基础到实战
01
需求追踪与验证概述
什么是需求追踪
为什么需要验证
嵌入式痛点分析
02
需求文档规范
文档结构
功能/非功能需求
优先级划分
03
需求标识与编号
唯一标识符设计
编号规则
版本控制基础
04
需求追踪矩阵(RTM)基础
RTM定义
列设计
维护原则
05
正向追踪与逆向追踪
正向追踪(需求→实现)
逆向追踪(实现→需求)
覆盖度分析
06
需求变更管理
变更流程
影响分析
变更记录与追溯
07
验证计划制定
验证策略
级别(单元/集成/系统)
活动时间线
08
测试用例设计基础
等价类划分
边界值分析
因果图法
09
测试用例与需求的关联
用例编号规则
需求-用例映射
覆盖矩阵
10
单元测试与需求验证
单元测试框架
桩代码与驱动
覆盖率统计
11
集成测试与接口验证
接口需求分析
集成策略(大爆炸/增量)
接口测试用例
12
系统测试与需求确认
系统测试环境搭建
端到端场景测试
验收标准
13
静态验证方法
代码审查
走查
静态分析工具(PC-Lint)
14
动态验证方法
仿真测试
硬件在环测试
原型验证
15
形式化验证入门
形式化验证概念
模型检查
定理证明简介
16
验证工具链搭建
工具选型原则
常用工具(Jama/Doors/TestRail)
工具集成
17
自动化测试框架
自动化脚本编写
持续集成中的验证
回归测试策略
18
需求可追溯性报告
报告生成
覆盖率图表
缺失需求分析
19
安全关键系统的验证
功能安全标准(ISO 26262/IEC 61508)
ASIL等级与验证强度
20
医疗嵌入式系统验证
IEC 62304要求
软件安全等级
文档合规
21
航空航天系统验证
DO-178C标准
验证目标
工具鉴定
22
汽车电子验证
AUTOSAR架构验证
CAN/LIN总线测试
诊断需求验证
23
物联网设备验证
低功耗验证
无线通信测试
OTA升级验证
24
需求验证中的风险管理
风险识别
风险优先级
缓解措施验证
25
验证数据管理
数据存储
版本控制
审计追踪
26
同行评审与验证
评审流程
检查清单
评审记录
27
供应商交付物验证
供应商需求分解
交付物验收
第三方测试
28
验证度量指标
缺陷密度
需求覆盖度
测试通过率
验证效率
29
持续改进与过程优化
根因分析
过程改进
经验教训库
30
综合案例实战
全流程演练
常见问题与解决方案
课程总结