万博1manbetx仿真软件检查

万博1manbetx仿真软件检查

测量设计质量,跟踪验证活动,并验证符合标准

开始:

检查模型的质量

验证与风格指南和建模标准的遵从性。

用于开发高完整性软件的随时可用检查

为了提高模型和生成的代码的质量和安全性,Simulink检查提供了预配置的检查,以符合ISO 26262,DO-178C,DO-33万博1manbetx1,DO-254,IEC 61508,ISO 25119以及EN 50128等行业标准作为Misra C:2012,Mathworks顾问委员会(MAB)指南,IEC 62304开发高完整性软件的标准,以及证书C,CWE和ISO / IEC TS 17961等安全编码标准。

与结果和建议行动的互动报告。

在编辑时识别并修复错误

就像拼写检查可以帮助您避免文档中的拼写错误一样,编辑时检查会在您编辑模型时通知您有违规情况。在开发过程的后期,您可以在最小化代价高昂的返工和附加测试的过程中纠正错误。

使用编辑时间检查在设计时检测和修复合规性问题。

配置、定制和自动化模型检查

为了确保您的模型符合组织自己的标准或指导方针,您可以使用model Advisor api或model Advisor Configuration Editor裁剪建模检查和配置。您可以在多台机器上并行运行检查,以加速遵从性验证。

使用Model Advisor配置编辑器创建自定义检查。

检查是否符合安全标准

以减少生成的代码中的遵从性问题CETC,CWE和ISO / IEC TS 17961,您可以检查您的模型以识别可能引入编码标准遵从性的建模构造。编辑时检查可以在进行更改时识别问题,例如添加不适合安全编码标准的块。

检测可能降低生成代码的安全编码标准遵从性的块。

跟踪和测量测试的完整性

根据ISO 26262和DO-178C评估基于要求的测试的完整性。

基于需求的测试指标

模型测试仪表板提供了基于需求的测试质量和完整性的概述,并反映了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在单个视图中集成了诸如模型大小、代码行、遵循指导原则的状态、重用和复杂性等指标,为您提供对项目质量的洞察。在模型评审过程中,使用仪表板来评审设计的质量和是否符合标准。

带有统一的设计状态视图的Metrics Dashboard。

简化和调试复杂模型

使用Model Slicer通过动态和静态分析的组合来隔离功能。

突出的依赖性

Model Slicer使用静态依赖分析来突出块、信号和模型组件的相互依赖关系,并在模拟期间基于活动行为进行动态依赖分析,以帮助您更好地理解大型或复杂模型中的功能依赖关系。

调试设计错误或测试失败

当在Simulink test™中测试失败万博1manbetx或在Simulink Design Verifier™中发现属性违规时,使用Model Slicer启动调试,以隔离错误原因并更快地解决问题。

创建简化的独立模型

模型切片器可以基于用户指定的起始点,记录信号或模拟时间窗口隔离模型的一部分,并将其另存为较小的模型,以保留模拟行为以帮助调试和提高性能。

突出显示可以分割成简化模型用于调试的部分模型。

基于活动的时间流与状态流切片

当statflow中只有选定的状态和转换时,可以将模型高亮显示限制为模拟时间间隔®在模拟过程中同时激活,以隔离感兴趣的行为。

当状态处于活动状态时,识别活动逻辑。

重构模型以改进设计并增加组件重用

识别可以自动改进以提高可维护性的克隆和建模模式。

识别和重构克隆的建模

识别建模克隆工具分析模型以定位重复的建模模式。然后可以使用可重用库对这些复制的克隆进行自动重构,以提高可维护性并降低设计复杂性。

转换模型以提高组件的可重用性和模型的可读性

模型转换器工具识别可以转换为变体源或变体子系统块的建模模式,并重构模型以改进模型组件化和可重用性。它可以识别可以消除的数据存储块,以提高可读性。

找到可以用变体替换的建模模式。