金宝app仿真软件检查

测量设计质量，跟踪验证活动，验证与标准的符合性

金宝app^®检查™分析您的模型、需求和测试，以评估设计质量和与标准的一致性。它提供行业公认的检查和度量，以识别开发过程中违反的建模标准和指导原则。金宝app支持的高完整性软件开发标准包括ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304和MathWorks Advisory Board (MAB)风格指南。金宝app仿真软件检查还支持安全金宝app编码标准，如CERT C、CWE和ISO/IEC TS 17961。您可以创建自定义支票，以符合您自己的标准或指导方针。编辑时检查在编辑时识别符合性问题。

金宝app仿真软件检查为评估设计的状态和质量提供尺寸和复杂性等指标。模型测试仪表板整合来自基于需求的测试活动的数据，以跟踪测试状态。自动模型重构允许您替换建模克隆，降低设计复杂性，并识别可重用内容。 Model Slicer工具隔离模型中的问题行为，并生成用于调试的简化模型。