金宝app仿真软件设计验证器
识别设计错误,证明合规要求,并生成测试
开始
学习基本的仿真软件设计验证器金宝app
准备和分析模型
识别可分析的组件单元或系统级测试,解决模型不兼容或分析超时
检测和地址错误
检测运行时错误和逻辑错误,在您的设计调试问题
指定并验证设计要求
验证设计与需求,完善反例通过使用输入假设
生成测试
生成的测试集来满足模型和代码覆盖率和自定义测试标准
测试模型等价
测试行为等效模型和生成的代码,或者模型运行在不同的仿真软件版本金宝app
回顾分析结果
日志和检查分析结果、生成报告,检查测试用例
工具资格和认证
有资格金宝app仿真软件设计验证器IEC认证