金宝appSimulink设计验证器
识别设计错误,证明符合需求,并生成测试
金宝app®设计验证器™使用正式的方法识别模型中隐藏的设计错误。它检测模型中导致整数溢出、死逻辑、数组访问违规和除零的块。它可以正式验证设计是否满足功能需求。对于每个设计错误或需求违反,它生成一个模拟测试用例进行调试。
金宝appSimulink设计验证器为模型覆盖和自定义目标生成测试用例,以扩展现有的基于需求的测试用例。这些测试用例驱动您的模型来满足条件、决策、修改的条件/决策(MCDC)和自定义覆盖目标。除了覆盖目标,您可以指定自定义测试目标来自动生成基于需求的测试用例。
金宝app对行业标准的支持可通过IEC认证套件(适用于iec61508及iso26262)及DO资格套件(- 178)。
开始
学习Simulink Design Ve金宝apprifier的基础知识
模型准备与分析
识别单元或系统级测试的可分析组件,处理模型不兼容或分析超时
检测和解决bug
检测运行时错误和逻辑错误,调试设计中的问题
指定并验证设计需求
根据需求验证设计,使用输入假设完善反例
生成测试
生成测试集,以满足模型和代码覆盖率以及自定义测试标准
测试模型等价性
测试模型和生成的代码的行为等价性,或者在不同的Simulink版本中运行的模型金宝app
回顾分析结果
记录和检查分析结果,生成报告,检查测试用例
工具确认和认证
有资格金宝appSimulink设计验证器IEC认证