Simulink设计验证器
识别设计错误,证明符合需求,并生成测试
开始
学习Simulink Design Verifier的基础知识
模型准备与分析
识别单元或系统级测试的可分析组件,处理模型不兼容或分析超时
检测和解决bug
检测运行时错误和逻辑错误,调试设计中的问题
指定并验证设计需求
根据需求验证设计,使用输入假设完善反例
生成测试
生成测试集,以满足模型和代码覆盖率以及自定义测试标准
测试模型等价性
测试模型和生成的代码的行为等价性,或者在不同的Simulink版本中运行的模型
回顾分析结果
记录和检查分析结果,生成报告,检查测试用例
工具确认和认证
有资格Simulink设计验证器IEC认证