VIP20
本课程属于：176-MathWorks Stateflow嵌入式逻辑与汽车软件工程 智能汽车与新能源汽车工程 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

Stateflow MIL/SIL/PIL联合验证工程

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与验证全景
目标=Stateflow在MBD中的… · MIL/SIL/PIL定义 · 联合验证目标
课程导入验证全景
02
Stateflow建模核心要素
目标=状态 · 转移 · 条件
Stateflow建模核心要素
03
验证需求与可测性设计
目标=从系统需求到Stateflow… · 覆盖目标 · 可观测性设计
验证需求可测性设计
04
MIL验证环境搭建
目标=在Simulink中构建Sta… · 信号源 · 参考模型
MIL验证环境搭建
05
MIL测试用例设计方法
目标=等价类 · 边界值 · 状态覆盖
MIL测试用例设计方法
06
MIL仿真执行与结果分析
目标=仿真配置 · 求解器选择 · 数据记录
MIL仿真执行
07
MIL回归与自动化
目标=脚本化测试执行 · 测试套件管理 · 持续集成入口
MIL回归
08
SIL验证原理与环境
目标=从模型生成C代码 · SIL仿真架构 · 宿主/目标执行
SIL验证原理
09
SIL测试用例复用与适配
目标=MIL用例迁移到SIL · 信号类型与采样时间处理 · 浮点/定点差异
SIL测试用例复用
10
SIL覆盖度与代码映射
目标=Stateflow覆盖度到生成… · 代码覆盖度收集 · 模型覆盖与代码覆盖的关联分析
SIL覆盖度
11
SIL调试与问题定位
目标=模型与代码行为差异 · 断点与日志 · 数值精度
SIL调试
12
PIL验证原理与环境
目标=处理器在环架构 · 目标硬件连接 · 交叉编译
PIL验证原理
13
PIL测试执行与数据采集
目标=目标端信号采集 · 时间戳对齐 · 通信延迟补偿
PIL测试执行
14
PIL中的实时性与资源验证
目标=执行时间测量 · 栈与内存使用 · 中断与任务调度
PIL实时性
15
MIL/SIL/PIL联合验证流程设计
目标=三阶段验证策略 · 进入/退出准则 · 用例分层
MIL/SIL/PIL联合验证流程设计
16
联合验证中的覆盖度整合
目标=模型覆盖 · 代码覆盖 · 需求覆盖的统一度量
联合验证覆盖度整合
17
Stateflow时序逻辑验证
目标=时间逻辑 · after/at/before事件 · 绝对与相对时间
Stateflow时序逻辑验证
18
Stateflow层次与并行状态验证
目标=父子状态交互 · 并行区域同步 · 广播事件
Stateflow层次
19
Stateflow函数与子状态机验证
目标=图形函数 · MATLAB函数 · Simulink函数
Stateflow函数
20
Stateflow与Simulink交互验证
目标=输入输出接口 · 条件动作中的Simulink调用 · 代数环
StateflowSimulink
21
故障注入与鲁棒性验证
目标=在MIL/SIL/PIL中注入… · 状态异常 · 通信错误
故障注入鲁棒性验证
22
形式化与半形式化辅助验证
目标=模型检查 · 静态分析 · 属性证明与Stateflow测试补充
形式化半形式化辅助验证
23
自动化测试框架与脚本
目标=MATLAB/Simulink… · 脚本化用例生成 · 批量执行
自动化测试框架脚本
24
持续集成中的联合验证
目标=版本控制 · 自动构建 · MIL/SIL/PIL流水线
持续集成联合验证
25
验证数据管理与可追溯性
目标=需求-模型-代码-测试-结果链… · 变更影响分析 · 配置管理与审计追踪
验证数据管理可追溯性
26
工程案例一
目标=车身控制模块Stateflow… · 用例设计 · 问题发现与修复
工程案例一Stateflow
27
工程案例二
目标=电机控制状态机联合验证 · 故障保护 · 实时性约束下的三阶段验证实践
工程案例二目标=电机控制状…
28
工程案例三
目标=ADAS功能Stateflow… · 并行状态 · 安全机制与覆盖度达标策略
工程案例三ADAS
29
联合验证常见陷阱与最佳实践
目标=模型与代码不一致 · 覆盖度虚高 · 时序错位
联合验证常见陷阱最佳实践
30
课程总结与工程能力提升
目标=知识体系回顾 · 联合验证检查清单 · 团队协作规范
课程总结工程能力提升