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

Stateflow控制逻辑测试与模型验证体系

共计 30 章节
可可资料掘金营 · 点击在线试看
01
课程导入与体系总览
目标=Stateflow在控制逻辑开… · 测试与模型验证的核心目标 · 整体知识框架与学习路径
课程导入体系总览
02
Stateflow建模基础回顾
目标=状态 · 转移 · 条件
Stateflow建模基础回顾
03
控制逻辑测试需求分析
目标=从系统需求到Stateflow… · 需求可测试性准则 · 需求追踪矩阵的建立
控制逻辑测试需求…Stateflow
04
Stateflow测试用例设计基础
目标=等价类划分 · 边界值分析 · 决策表
Stateflow测试用例设计基础
05
状态与转移覆盖准则
目标=状态覆盖 · 转移覆盖 · 条件覆盖
状态转移覆盖准则
06
Stateflow模型静态检查
目标=模型规范检查 · 命名一致性 · 死状态与不可达转移识别
Stateflow模型静态检查
07
Stateflow仿真测试环境搭建
目标=测试 harness 设计 · 输入信号生成 · 仿真配置
Stateflow仿真测试环境搭建
08
基于场景的测试设计
目标=正常场景 · 异常场景 · 边界场景
基于场景的测试设…目标=正常场景
09
时序与事件驱动逻辑测试
目标=事件顺序 · 延迟 · 超时
时序事件驱动逻辑测试
10
Stateflow与Simulink集成测试
目标=控制器与被控对象联合仿真 · 接口一致性检查 · 集成测试策略与常见问题
StateflowSimulink
11
测试覆盖率采集与分析
目标=使用Simulink Cove… · 覆盖率报告解读 · 未覆盖项归因与补测
测试覆盖率采集分析
12
模型验证中的形式化方法入门
目标=模型检查 · 定理证明 · 等价性验证的基本思想及其在State…
模型验证形式化方法入门
13
Stateflow模型属性证明
目标=使用Simulink Desi… · 证明目标设置 · 反例分析与结果解读
Stateflow模型属性证明
14
测试用例自动生成技术
目标=基于模型覆盖与属性证明的自动测… · 生成结果评估 · 人工补充与优化
测试用例自动生成…目标=基于模型覆…
15
回归测试与测试资产管理
目标=测试用例版本化 · 基线管理 · 变更影响分析
回归测试测试资产管理
16
Stateflow模型与代码一致性验证
目标=自动代码生成配置 · SIL/PIL测试 · 模型与代码行为一致性检查方法
Stateflow模型
17
实时与嵌入式环境下的验证
目标=目标硬件在环测试 · 实时约束下的Stateflow逻辑验… · 执行时间与资源影响评估
实时嵌入式环境下的验…
18
故障注入与鲁棒性测试
目标=针对Stateflow控制逻辑… · 异常输入与状态异常处理验证
故障注入鲁棒性测试
19
安全关键系统中的Stateflow验证
目标=ISO 26262 · DO-178C等标准对模型测试与验证… · 安全案例构建
Stateflow安全关键系统
20
Stateflow测试验证工作流设计
目标=从需求到测试 · 从模型到代码 · 从仿真到报告的端到端流程与工具链集成
Stateflow测试验证工作流设…
21
典型控制逻辑案例一
目标=电机启停与模式切换逻辑的测试用… · 覆盖率分析与验证报告
典型控制逻辑案例…目标=电机启停
22
典型控制逻辑案例二
目标=整车档位控制与互锁逻辑的Sta… · 测试与形式化验证
典型控制逻辑案例…Sta
23
典型控制逻辑案例三
目标=电池管理系统状态机逻辑的故障注… · 鲁棒性测试与安全验证
典型控制逻辑案例…目标=电池管理系…
24
典型控制逻辑案例四
目标=航空飞控模式逻辑的DO-178…
典型控制逻辑案例…DO-178
25
测试验证中的常见缺陷与反模式
目标=状态爆炸 · 转移条件冲突 · 默认转移误用
测试验证常见缺陷
26
验证结果评估与报告
目标=测试充分性度量 · 覆盖率阈值设定 · 验证报告结构与评审要点
验证结果评估报告
27
持续集成中的Stateflow测试自动化
目标=CI流水线集成 · 自动化测试触发 · 结果通知与质量门禁
Stateflow持续集成
28
AI辅助的Stateflow测试与验证
目标=大模型辅助测试用例生成 · 缺陷预测 · 验证脚本编写及其局限性
AIStateflow
29
综合实战项目
目标=面向一个完整控制逻辑系统 · 完成需求分析 · 测试设计
综合实战项目目标=面向一个完…
30
课程总结与能力进阶
目标=核心知识回顾 · 工具链演进趋势 · Stateflow测试验证工程师的能…
课程总结能力进阶