金宝app模拟链路检查
测量设计质量，跟踪验证活动，并验证是否符合标准
金宝app模拟链路检查™ 分析您的模型、需求和测试，以评估设计质量和与标准的符合性。它提供业界认可的检查和度量，以识别开发过程中的建模标准和指南冲突。支持的高完整性软件开发标准包括ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304和MathWorks Advisory Board（MAB）风格的指南。Simulink检查还支持安全编码标准，如CERT C、CWE和ISO/IEC TS 17961。您可以创建自定义检查以符合自己的标金宝app准或指南。编辑时间检查可在编辑时识别符合性问题。
金宝appSimulink Check提供了评估设计状态和质量的尺寸和复杂性等指标。模型测试仪表板整合来自基于需求的测试活动的数据，以跟踪测试状态。自动模型重构允许您替换建模克隆，降低设计复杂性，并识别可重用的内容。 Model Slicer工具隔离了模型中的问题行为，并生成了用于调试的简化模型。
金宝app可通过以下途径获得对行业标准的支持：IEC认证套件（适用于ISO 26262和IEC 61508）和DO鉴定套件（适用于DO-178和DO-254）.
开始:
用于开发高完整性软件的现成检查
为了提高模型和生成代码的质量和安全性，Simulink Check提供预配置检查，以确保符合行业标准，如ISO 26262、DO-1金宝app78C、DO-331、DO-254、IEC 61508、ISO 25119和EN 50128以及MISRA C:2012、MathWorks咨询委员会（MAB）指南，用于开发高完整性软件的IEC 62304标准，以及安全编码标准，如CERT C、CWE和ISO/IEC TS 17961。
与结果和建议行动的互动报告。
在编辑时识别并修复错误
就像拼写检查可以帮助您避免文档中的拼写错误一样，“编辑时间检查”会在您编辑模型时通知您违反规则。您可以在开发过程的后期纠正错误，以最大限度地减少成本高昂的返工和额外的测试。
使用编辑时检查在设计时检测并修复符合性问题。
配置、自定义和自动化模型检查
为了确保您的模型符合组织自己的标准或指导方针，您可以使用model Advisor api或model Advisor Configuration Editor裁剪建模检查和配置。您可以在多台机器上并行运行检查，以加速遵从性验证。
使用Model Advisor配置编辑器创建自定义检查。
检查是否符合安全标准
以减少生成的代码中的遵从性问题CERTC、CWE和ISO/IEC TS 17961，您可以检查您的模型，以确定可能导致违反编码标准的建模构造。编辑时间检查可以在进行更改时识别问题，例如添加不建议用于安全编码标准的块。
检测可能降低生成代码的安全编码标准遵从性的块。
基于需求的测试度量
模型测试仪表板概述了基于需求的测试的质量和完整性，并反映了行业公认的软件开发标准（如ISO 26262和DO-178）中的指导原则。它在来自多个来源（如需求、模型、测试和测试）的项目中的工件之间形成了一个数字线程结果，分析其一致性和完整性，并提供详细的状态度量。
仪表板小部件总结每个指标，以快速评估当前测试的结果，包括遵循指导方针、对需求的测试完成情况，以及测试覆盖的需求百分比。
评审和管理基于需求的测试工件
模型测试仪表板分析项目中的工件和可跟踪性链接，并在工件面板中显示项目中每个组件的功能需求、测试用例和测试结果。为了帮助您识别实现或验证中的差距，突出显示了对模型没有可追溯性的工件。
指示板向您显示哪些工件没有跟踪到项目中的组件。
根据ISO 26262评估测试完整性
根据ISO 26262-6:2018，使用模型测试仪表板评估基于需求的测试活动的质量和完整性。仪表板监控需求、测试和测试结果之间的可追溯性。它分析项目中的实现和验证工件，并根据ISO 26262-6:2018为基于需求的测试用例和测试结果提供完整性和质量度量。仪表板根据需求、测试用例和测试结果跟踪到的模型来组织需求、测试用例和测试结果，为您提供对每个单元的测试完整性和结构覆盖率的洞察。
单击dashboard小部件以查看ISO 26262评审表中指标的详细信息。
收集模型度量以度量质量
金宝appSimulink Check收集模型度量，可用于评估模型的体系结构、复杂性和可读性，以符合ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、IEC 62304、EN 50128和其他标准。
收集和定制模型度量以评估质量。
使用仪表板查看整合的指标
Metrics Dashboard将模型大小、代码行、准则遵从性状态、重用和复杂性等指标集成到单个视图中，为您提供对项目质量的深入了解。在模型审查过程中，使用仪表板审查设计质量和标准符合性。
带有统一的设计状态视图的Metrics Dashboard。
突出的依赖性
Model Slicer使用静态依赖分析来突出块、信号和模型组件的相互依赖关系，并在模拟期间基于活动行为进行动态依赖分析，以帮助您更好地理解大型或复杂模型中的功能依赖关系。
调试设计错误或测试失败
当Simulink测试中的测试失败时™ 或金宝app者在Simulink Design Verifier中发现属性冲突™, 使用模型切片器启动调试，以隔离错误原因并更快地解决问题。
创建简化的独立模型
模型切片器可以基于用户指定的起点、记录的信号或模拟时间窗口隔离部分模型，并将其保存为较小的模型，以保留模拟行为，从而帮助调试和提高性能。
突出显示模型的一部分，该部分可以分割为简化模型进行调试。
基于活动的Stateflow时间切片
当statflow中只有选定的状态和转换时，可以将模型高亮显示限制为模拟时间间隔®在模拟过程中同时处于活动状态，以隔离感兴趣的行为。
当状态为活动状态时，识别活动逻辑。
识别并重构建模克隆
识别建模克隆工具分析模型以定位重复的建模模式。然后可以使用可重用库对这些复制的克隆进行自动重构，以提高可维护性并降低设计复杂性。
转换模型以提高组件重用性和模型可读性
模型转换器工具识别可以转换为变体源或变体子系统块的建模模式，并重构模型以改进模型组件化和可重用性。它可以识别可以消除的数据存储块，以提高可读性。
查找可以用变体替换的建模模式。
