首页
›
智能汽车与新能源汽车工程
›
176-MathWorks Stateflow嵌入式逻辑与汽车软件工程
›
《Stateflow需求追溯与模型覆盖率工程》
VIP20
本课程属于:176-MathWorks Stateflow嵌入式逻辑与汽车软件工程
智能汽车与新能源汽车工程 · 共 20 门相关课程,组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录
咨询 / 购买
📘
Stateflow需求追溯与模型覆盖率工程
共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与工程场景
目标=Stateflow在嵌入式控制… · 需求追溯与模型覆盖率为何成为工程刚需 · 课程整体学习路径与实战项目说明
课程导入
工程场景
02
需求追溯基础
目标=需求标识 · 需求层级 · 追溯链
需求追溯基础
目标=需求标识
03
Stateflow建模要素回顾
目标=状态 · 转移 · 条件
Stateflow
建模要素回顾
04
需求到Stateflow模型的追溯建立
目标=从系统需求 · 软件需求到Stateflow状态机元… · 使用需求链接
Stateflow
需求到
05
追溯工具链与数据管理
目标=需求管理工具与Simulink… · 追溯数据导入导出 · 版本管理
追溯工具链
数据管理
06
模型覆盖率概念体系
目标=语句覆盖 · 分支覆盖 · 条件覆盖
模型覆盖率概念体…
目标=语句覆盖
07
Stateflow覆盖率度量项
目标=状态覆盖率 · 转移覆盖率 · 条件覆盖率
Stateflow
覆盖率度量项
08
覆盖率采集配置
目标=在Simulink/State… · 选择覆盖率度量类型 · 设置覆盖率目标
覆盖率采集配置
Simulink/Sta…
09
需求追溯与覆盖率联动
目标=将需求条目与覆盖率目标关联 · 通过需求追溯判断覆盖率缺口对应的未验… · 形成需求-模型-测试-覆盖率闭环
需求追溯
覆盖率联动
10
测试用例设计驱动覆盖率
目标=基于需求设计测试场景 · 利用Stateflow状态转移图生成… · 使用等价类
测试用例设计驱动…
目标=基于需求设…
11
状态与转移覆盖实战
目标=针对典型Stateflow状态… · 设计测试序列覆盖所有状态 · 转移
状态
转移覆盖实战
12
条件与决策覆盖实战
目标=针对带复杂条件转移的State… · 设计测试用例实现条件组合覆盖与MC/… · 识别不可达路径与冗余条件
条件
决策覆盖实战
13
时序逻辑与历史节点覆盖
目标=针对使用after · before · every等时序运算符及历史节点的S…
时序逻辑
历史节点覆盖
14
并行状态与层次状态覆盖
目标=针对并行状态机和层次化状态机 · 设计测试用例覆盖并行区域 · 入口/出口动作
并行状态
层次状态覆盖
15
覆盖率缺口分析与归因
目标=识别未覆盖状态 · 转移 · 条件的原因
覆盖率缺口分析
归因
16
基于覆盖率的测试补充与优化
目标=根据覆盖率报告迭代补充测试用例 · 使用覆盖率反馈优化测试集 · 平衡覆盖率目标与测试成本
基于覆盖率的测试…
优化
17
需求追溯矩阵生成与维护
目标=从Stateflow模型自动生… · 检查需求覆盖完整性 · 追溯一致性
需求追溯矩阵生成
维护
18
变更影响分析
目标=当需求或Stateflow模型… · 利用追溯链和覆盖率数据评估影响范围 · 确定需回归的测试用例与需重新验证的需…
变更影响分析
Stateflow
19
需求追溯与覆盖率在安全标准中的应用
目标=结合ISO 26262 · DO-178C · IEC 61508等标准
需求追溯
覆盖率
20
工程案例一
目标=汽车电子Stateflow控制… · 模型建模 · 测试设计到覆盖率达标与追溯矩阵输出的…
工程案例一
Stateflow
21
工程案例二
目标=航天嵌入式Stateflow模… · 建立需求追溯 · 设计测试序列
工程案例二
Stateflow
22
工程案例三
目标=工业控制Stateflow联锁… · 识别覆盖率缺口 · 补充边界与时序测试
工程案例三
Stateflow
23
自动化追溯与覆盖率报告
目标=使用脚本或工具自动生成追溯矩阵 · 覆盖率报告 · 缺口清单
自动化追溯
覆盖率报告
24
覆盖率与追溯的度量与可视化
目标=定义覆盖率趋势 · 追溯完整率 · 需求验证率等度量指标
覆盖率
追溯的度量
25
模型覆盖率与代码覆盖率的一致性
目标=分析Stateflow模型覆盖… · 处理模型与代码覆盖差异的工程方法
模型覆盖率
代码覆盖率的一致…
26
需求追溯与覆盖率评审
目标=组织需求追溯评审 · 覆盖率评审 · 检查追溯链完整性
需求追溯
覆盖率评审
27
工具链集成与数据交换
目标=需求管理工具 · Simulink/Stateflow · 覆盖率工具
工具链集成
数据交换
28
常见问题与反模式
目标=追溯断链 · 覆盖率虚高 · 测试用例与需求脱节
常见问题
反模式
29
综合实战项目
目标=给定一个多状态复杂Statef… · 完成需求追溯建立 · 测试用例设计
综合实战项目
Statef
30
课程总结与工程落地建议
目标=回顾需求追溯与模型覆盖率工程的… · 工具链与流程 · 制定团队落地路线图与持续改进计划
课程总结
工程落地建议
所属VIP或分类
同VIP:Stateflow-AUTOSAR组件建模与代码生成
同VIP:Stateflow-MILSILPIL联合验证工程
同VIP:Stateflow-Polyspace静态分析与质量工程