金宝appSimulink设计验证器
识别和隔离设计错误并生成测试
金宝app®设计验证器™使用正式的方法在没有大量模拟运行的情况下识别模型中隐藏的设计错误。它检测模型中导致整数溢出、死逻辑、数组访问违规、除零和需求违规的块。对于每个错误,它都会生成一个模拟测试用例以供调试。
金宝appSimulink设计验证器为模型覆盖率和自定义目标生成测试输入。它还允许您扩充和扩展现有的测试用例。这些测试用例驱动您的模型来满足条件、决策、修改的条件/决策(MCDC),以及自定义覆盖目标。
模型切片器工具金宝appSimulink设计验证器使用动态和静态分析的组合来隔离模型中的问题行为。它允许您突出显示和跟踪端口、信号和块的功能依赖性,并将一个大模型切成更小的、独立的模型进行分析。您可以查看影响子系统输出的块,并通过多个开关和逻辑跟踪信号路径。Variant Reducer工具允许您通过基于活动变体配置创建切片模型来简化包含多个变体的模型。
金宝app对行业标准的支持可通过IEC认证套件(适用于iec61508及iso26262)及DO资格套件(- 178)。
开始
学习Simulink设计验证器的基础知识金宝app
系统模型验证
识别并配置用于分析的模型组件
设计错误检测
静态检测运行时错误和死逻辑,推导设计范围
测试用例生成
从模型中生成系统的测试用例,扩展并组合测试用例以实现完整的测试套件
基于需求的验证
根据需求验证设计,指定分析输入约束
管理复杂性
处理不兼容性,优化大型和复杂模型的分析
结果解读与使用
记录和审查分析结果,生成报告,创建测试工具模型
基于依赖性分析的模型简化
跟踪端口、信号和块的依赖关系,将较大的模型切成简化的独立模型
验证与验证
使用Si金宝appmulink产品来下载188bet金宝搏测试模型和代码,检查设计错误,检查标准,测量覆盖率,并验证系统
工具资质和认证
有资格金宝appSimulink设计验证器获得IEC认证
这个话题有帮助吗?