第01章
什么是MIL测试 · V模型位置 · 价值与挑战
第02章
Simulink/ETAS/dSPACE · 集成方式 · 选型考量
第03章
环境搭建 · 基本模块库 · 信号线连接 · 子系统封装
第04章
MAAB规范 · 命名规则 · 信号与参数 · 模型检查工具
第05章
被控对象建模 · 参数化 · 模型验证 · 建模技巧
第06章
控制逻辑建模 · Stateflow入门 · 调度与触发
第07章
等价类划分 · 边界值 · 场景测试 · 覆盖率驱动
第08章
m脚本基础 · 自动化框架 · 数据后处理
第09章
Python与Simulink接口 · pytest · 结果比对
第10章
Signal Builder · From/To Workspace · 数据记录
第11章
语句/分支/条件/MC/DC · 收集 · 报告解读
第12章
回归策略 · 基线管理 · 自动化流程 · 踩坑实录
第13章
MiL vs SiL vs HiL · 测试重点 · 数据一致性
第14章
Simulink Design Verifier · 属性证明 · 用例自动生成
第15章
任务调度模型 · 执行时间测量 · 过载检测 · 排查经历
第16章
MAT/CSV/Excel · 版本管理 · 数据追溯
第17章
Jenkins/GitLab CI · 自动触发 · 报告生成与发布
第18章
ASPICE要求 · 工作产品 · 评审要点
第19章
功能安全要求 · 工具置信度(TCL) · 工具分类
第20章
测试计划/规范/报告模板 · 文档自动化
第21章
代数环 · 过零检测 · 数值稳定性 · 仿真加速
第22章
变体子系统 · 回调函数 · 自定义库 · 模型引用
第23章
层次化状态机 · 并行状态 · 历史节点 · 事件广播
第24章
测试管理器 · 测试序列 · 测试评估 · 报告生成
第25章
覆盖率设置 · 排除规则 · 合并覆盖率
第26章
需求链接 · 追溯矩阵 · 变更影响分析
第27章
Polyspace Bug Finder · 代码规则检查 · 协同
第30章
AI测试生成 · 数字孪生 · 云原生MIL测试