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