万博1manbetx®设计验证器™使用正式的方法识别模型中隐藏的设计错误。它检测模型中导致整数溢出、死逻辑、数组访问违规和除零的块。它可以正式地验证设计是否满足功能需求。对于每个设计错误或需求违背,它生成一个模拟测试用例来进行调试。
万博1manbetx仿真软件设计验证器为模型覆盖和自定义目标生成测试用例,以扩展现有的基于需求的测试用例。这些测试用例驱动您的模型以满足条件、决策、修改的条件/决策(MCDC),以及定制的覆盖目标。除了覆盖目标之外,您还可以指定定制的测试目标来自动生成基于需求的测试用例。
万博1manbetx对行业标准的支持可以通过以下方式获得IEC认证工具包(适用于IEC 61508和ISO 26262)和做资格工具包(- 178)。
学习Simulink设计验证器的基础知识万博1manbetx
识别和配置模型组件以进行分析
静态检测运行时错误和死逻辑,得出设计范围
从模型中生成系统的测试用例,为完整的测试套件扩展和组合测试用例
根据需求验证设计,指定分析输入约束
处理不兼容性,优化大型和复杂模型的分析
记录并审查分析结果,生成报告,创建测试管理模型
使用Si万博1manbetxmulink产品测s manbetx 845试模型和代码,检查设计错误,对照标准,测量覆盖率,并验证系统
有资格万博1manbetx仿真软件设计验证器IEC认证