万博1manbetx仿真软件检查
测量设计质量，跟踪验证活动，并验证符合标准
万博1manbetx模拟链路检查™ 分析您的模型、需求和测试，以评估设计质量和与标准的符合性。它提供业界认可的检查和度量，以识别开发过程中的建模标准和指南冲突。支持的高完整性软件开发标准包括ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304和MathWorks Advisory Board（MAB）风格的指南。Simulink检查还支持安全编码标准，如CERT C、CWE和ISO/IEC TS 17961。您可以创建自定义检查以符万博1manbetx合自己的标准或指南。编辑时间检查可在编辑时识别符合性问题。
万博1manbetxSimulink Check提供尺寸和复杂性等指标，用于评估设计的状态和质量。模型测试仪表板整合来自基于需求的测试活动的数据，以跟踪测试状态。自动模型重构允许您替换建模克隆，降低设计复杂性，并识别可重用的内容。 模型切片器工具隔离模型中有问题的行为，并生成简化模型进行调试。
万博1manbetx对行业标准的支持可以通过IEC认证套件（适用于ISO 26262和IEC 61508）和DO认证套件(用于DO-178和DO-254)．
开始：
用于开发高完整性软件的随时可用检查
为了提高模型和生成代码的质量和安全性，Simulink Check提供预配置检查，以确保符合行业标准，如ISO 26262、DO-1万博1manbetx78C、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配置编辑器定制建模检查和配置。您可以在多台计算机上并行运行检查，以加快法规遵从性验证。
使用Model Advisor配置编辑器创建自定义检查。
检查是否符合安全标准
减少生成的代码中的法规遵从性问题CERTC、CWE和ISO/IEC TS 17961，您可以检查您的模型以识别可能引入编码标准遵从性的建模构造。编辑时检查可以在进行更改时识别问题，例如添加不适合安全编码标准的块。
检测可能降低生成代码的安全编码标准遵从性的块。
基于需求的测试指标
模型测试仪表板概述了基于需求的测试的质量和完整性，并反映了行业公认的软件开发标准（如ISO 26262和DO-178）中的指导原则。它在来自多个来源（如需求、模型、测试和测试）的项目中的工件之间形成了一个数字线程结果，分析其一致性和完整性，并提供详细的状态度量。
仪表板小部件汇总每个指标，以快速评估当前的测试结果，包括遵守准则、完成需求测试以及测试覆盖的需求百分比。
审查和管理基于需求的测试工件
模型测试仪表板分析项目中的工件和可跟踪性链接，并在工件面板中显示项目中每个组件的功能需求、测试用例和测试结果。为了帮助您识别实现或验证中的差距，突出显示了对模型没有可跟踪性的工件。
仪表板向您显示哪些工件没有跟踪到项目中的组件。
根据ISO 26262评估测试的完整性
使用模型测试仪表板根据ISO 26262- 6:18评估基于需求的测试活动的质量和完整性。仪表板监视需求、测试和测试结果之间的可跟踪性。它分析项目中的实现和验证工件，并根据ISO 26262- 6:18为基于需求的测试用例和测试结果提供完整性和质量度量。仪表板组织需求、测试用例和它们追踪到的模型下的测试结果，为您提供对每个单元的测试完整性和结构覆盖的洞察。
单击仪表板小部件，在ISO 26262评审表中查看指标的详细信息。
收集模型度量以度量质量
万博1manbetxSimulink Check收集模型度量，可用于评估模型的体系结构、复杂性和可读性，以符合ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、IEC 62304、EN 50128和其他标准。
收集和定制模型度量来评估质量。
使用仪表板查看综合指标
Metrics Dashboard在单个视图中集成了诸如模型大小、代码行、遵循指导原则的状态、重用和复杂性等指标，为您提供对项目质量的洞察。在模型评审过程中，使用仪表板来评审设计的质量和是否符合标准。
具有设计状态整合视图的度量仪表板。
突出显示依赖项
模型切片器使用静态依赖关系分析突出显示块、信号和模型组件的相互依赖关系，并基于模拟期间的活动行为进行动态依赖关系分析，以帮助您更好地理解大型或复杂模型中的功能依赖关系。
调试设计错误或测试失败
当在Simulink test™中测试失败万博1manbetx或在Simulink Design Verifier™中发现属性违规时，使用Model Slicer启动调试，以隔离错误原因并更快地解决问题。
创建简化的独立模型
模型切片器可以基于用户指定的起点、记录的信号或模拟时间窗口隔离部分模型，并将其保存为较小的模型，以保留模拟行为，从而帮助调试和提高性能。
突出显示可以分割成简化模型用于调试的部分模型。
基于活动的Stateflow时间切片
当Stateflow中只有选定的状态和转换时，可以将模型高亮显示限制为模拟时间间隔®在模拟过程中同时激活，以隔离感兴趣的行为。
当状态处于活动状态时，识别活动逻辑。
识别和重构克隆的建模
识别建模克隆工具分析模型以定位重复的建模模式。然后，可以使用可重用库自动重构这些复制的克隆，以提高可维护性并降低设计复杂性。
转换模型以提高组件的可重用性和模型的可读性
ModelTransformer工具识别可以转换为变量源或变量子系统块的建模模式，并重构模型以改进模型组件化和可重用性。它可以识别可以消除的数据存储块，以提高可读性。
找到可以用变体替换的建模模式。
