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

Stateflow与Simulink Test模型验证工程

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与验证工程全景
目标=Stateflow与Simul… · 模型验证V模型流程 · 工具链协同关系与课程实战项目介绍
课程导入验证工程全景
02
Stateflow建模核心机制
目标=状态 · 转移 · 条件与动作语义
Stateflow建模核心机制
03
Stateflow事件与时间逻辑
目标=输入事件 · 本地事件 · 时间逻辑运算符（after
Stateflow事件
04
Stateflow函数与复用
目标=图形函数 · MATLAB函数 · Simulink函数
Stateflow函数
05
Stateflow数据与作用域
目标=输入输出数据 · 本地数据 · 参数
Stateflow数据
06
Stateflow执行语义与调度
目标=状态图执行顺序 · 超步语义 · 并行状态同步
Stateflow执行语义
07
Simulink Test工具链概览
目标=Test Manager · Test Harness · Test Sequence
SimulinkTest
08
测试用例设计基础
目标=等价类划分 · 边界值 · 决策表
测试用例设计基础目标=等价类划分
09
创建与管理Test Harness
目标=为Stateflow子系统创建… · 配置源与信号 · 处理数据接口与模型引用场景
TestHarness
10
Test Sequence编写实战
目标=使用测试序列块构造激励 · 时序控制 · 条件分支与循环
TestSequence
11
Test Assessment与断言
目标=在测试中嵌入评估逻辑 · 自定义通过失败准则 · 检查状态活动
TestAssessment
12
基于信号的测试与基线捕获
目标=采集仿真基线 · 设置容差 · 比较实际与期望信号
基于信号的测试基线捕获
13
Stateflow覆盖率度量
目标=状态覆盖 · 转移覆盖 · 条件覆盖
Stateflow覆盖率度量
14
Simulink Coverage与Stateflow集成
目标=覆盖率选项设置 · 覆盖率过滤器 · 设计缺口与测试缺口区分及覆盖率合并策…
SimulinkCoverage
15
需求链接与可追溯性
目标=将Stateflow状态 · 转移与Simulink Test用例… · 使用Requirements Too…
需求链接可追溯性
16
形式化验证入门
目标=使用Simulink Desi… · 死逻辑检测 · 溢出检查与测试用例自动生成
形式化验证入门Simulink
17
Stateflow模型静态检查
目标=使用Model Advisor… · 数据作用域 · 转移冲突与不可达状态等常见问题
Stateflow模型静态检查
18
测试自动化与持续集成
目标=通过脚本批量运行Simulin… · 生成报告 · 与Jenkins/GitLab CI…
测试自动化持续集成
19
回归测试与测试套件管理
目标=组织测试套件 · 标签分类 · 基线更新策略
回归测试测试套件管理
20
故障注入与鲁棒性测试
目标=在Stateflow模型中注入… · 状态跳转异常与边界条件 · 验证容错逻辑与安全机制
故障注入鲁棒性测试
21
实时与代码生成验证
目标=针对Embedded Code… · 进行SIL/PIL测试 · 处理器在环验证与代码覆盖率分析
实时代码生成验证
22
Stateflow与Simulink Test在汽车电子中的应用
目标=符合ISO 26262的验证活… · ASIL等级对测试方法的影响与安全案…
StateflowSimulink
23
复杂状态机测试案例
目标=针对模式管理 · 故障降级 · 仲裁逻辑等典型Stateflow应用
复杂状态机测试案…目标=针对模式管…
24
测试报告与验证证据
目标=生成符合工程审计要求的测试报告 · 覆盖率报告与验证总结 · 管理证据链与评审记录
测试报告验证证据
25
模型验证中的调试技巧
目标=利用Simulink Debu… · Stateflow断点 · 动画与日志定位状态机逻辑错误与测试失…
模型验证调试技巧
26
性能与可测试性设计
目标=优化Stateflow模型结构… · 简化测试配置 · 避免过度复杂状态与隐藏依赖
性能可测试性设计
27
测试数据管理与版本控制
目标=管理测试用例 · 基线 · 报告与模型版本的对应关系
测试数据管理版本控制
28
从单元测试到集成测试
目标=Stateflow组件级测试 · 子系统集成测试与整车/系统级测试的衔…
从单元测试到集成…Stateflow
29
综合实战项目一
目标=以车身控制模块Stateflo… · 完成需求分析 · 测试设计
综合实战项目一Stateflo
30
综合实战项目二
目标=以动力总成状态机为对象 · 实施自动化回归 · 形式化验证补充
综合实战项目二目标=以动力总成…