金宝app^®Check™分析您的模型，需求和测试，以评估设计质量并遵守标准。它提供行业认可的检查和指标，以确定您在设计时识别建模标准和指南违规行为。金宝app支持的高融合软件开发标准包括ISO 26262，DO-178C，DO-254，IEC 61508，ISO 25119，IEC 62304和MATHWORKS咨询委员会（MAB）样式指南。金宝appSimulink检查还支持安全金宝app的编码标准，例如CERT C，CWE和ISO/IEC TS17961。您可以创建自定义检查以符合您自己的标准或准则，这些标准或指南可以在编辑中确定合规性问题。

金宝appSimulink检查提供指标，例如大小和复杂性，以评估设计的状态和质量。模型测试仪表板合并了基于需求的测试活动中的数据以跟踪测试状态。自动型号重构使您可以替换建模克隆，减少设计复杂性并确定可重复使用的内容。 The Model Slicer tool isolates problematic behavior in models and generates simplified models for debugging.

金宝app可以通过IEC认证套件（对于ISO 26262和IEC 61508）和做资格套件（DO-178）。