MIL测试模型检查与静态分析技巧
📚 30章 · 完整目录
v2.0
第 1 章
MIL测试基础
MIL概念
V模型位置
测试目标与价值
第 2 章
模型检查入门
模型检查定义
形式化vs动态测试
何时需要模型检查
第 3 章
静态分析基础
静态分析定义
代码审查vs静态分析
工具分类
第 4 章
MIL测试环境搭建
Simulink/Stateflow配置
测试工具链集成
编译与仿真设置
第 5 章
模型检查核心算法
符号模型检查
有界模型检查
抽象解释技术
第 6 章
静态分析技术
控制流分析
数据流分析
指针分析
值域分析
第 7 章
MIL测试用例设计
等价类划分
边界值分析
决策表测试
状态转换测试
第 8 章
模型检查属性规约
LTL线性时序逻辑
CTL计算树逻辑
断言与假设
第 9 章
静态分析规则配置
MISRA-C/AutoSAR
自定义规则编写
规则优先级管理
第 10 章
MIL测试覆盖率分析
语句覆盖
分支覆盖
MC/DC覆盖
状态覆盖
第 11 章
模型检查工具实践
Simulink Design Verifier
Polyspace
BT-Monitor
第 12 章
静态分析工具实践
Polyspace Bug Finder
QAC
Cppcheck
SonarQube
第 13 章
MIL测试与静态分析集成
工作流集成
数据交换格式
报告合并策略
第 14 章
状态空间爆炸问题
问题成因
对称性约减
偏序约减
抽象技术
第 15 章
静态分析误报与漏报
误报原因分析
漏报风险控制
阈值调整策略
第 16 章
MIL测试实时性约束
任务调度模型
执行时间分析
超时检测
第 17 章
模型检查安全关键系统
ISO 26262
DO-178C
IEC 61508
第 18 章
静态分析代码生成应用
Embedded Coder检查
代码生成规则验证
第 19 章
MIL测试故障注入
故障模型定义
注入方法
效果评估
第 20 章
模型检查反例分析
反例解读
反例可视化
反例驱动调试
第 21 章
静态分析代码度量
圈复杂度
扇入扇出
代码行数
注释率
第 22 章
MIL测试自动化
测试脚本编写
CI/CD集成
回归测试策略
第 23 章
组合爆炸处理
模块化验证
组合验证
假设-保证推理
第 24 章
路径敏感分析
路径条件计算
路径可行性判断
路径合并策略
第 25 章
MIL与HIL测试衔接
数据一致性
时序一致性
接口一致性
第 26 章
时序属性验证
响应时间
最坏执行时间
死锁检测
第 27 章
并发缺陷检测
数据竞争
死锁
活锁
原子性违反
第 28 章
模型可测试性设计
测试点插入
观测点设计
可控性增强
第 29 章
行业案例
汽车ADAS案例
航空飞控案例
工业机器人案例
第 30 章
未来趋势
AI辅助验证
云原生分析
持续验证流水线