Simulink Check

 

Simulink Check

衡量设计质量、跟踪验证活动并验证标准合规性

开始:

检查模型质量

验证是否符合风格指南和建模标准。

用于开发高完整性软件的即用型检查

为了提高模型和生成代码的质量和安全性,Simulink Check 提供各种预配置合规性检查,针对 ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、ISO 25119、EN 50128 和 MISRA C:2012 等行业标准,MathWorks 咨询委员会 (MAB) 指南,面向高完整性软件开发的 IEC 62304 标准,以及 CERT C、CWE 和 ISO/IEC TS 17961 等安全编码标准。

包含结果和建议操作的交互式报告。

在编辑时识别并修复错误

编辑时检查可在您编辑模型的过程中指出违规情形,类似于拼写检查帮助您避免文档中的拼写错误。您可以即时纠正错误,从而尽可能避免开发后期代价高昂的返工和额外测试。

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

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

为确保您的模型符合您所在组织的标准或指南,您可以使用模型顾问 API 或模型顾问配置编辑器定制建模检查和配置。您可在多台计算机上并行运行检查,以加速合规性验证。

使用模型顾问配置编辑器创建自定义检查。

检查安全标准合规性

为了减少生成代码中的 CERTC、CWE 和 ISO/IEC TS 17961 等合规性问题,您可以检查模型,找出可能引入编码标准合规性问题的建模构造。编辑时检查可以在您进行更改的过程中识别问题,例如添加了安全编码标准不建议使用的代码块。

检测有可能影响生成代码的安全编码标准合规性的代码块。

跟踪和衡量测试完整性

评估基于需求的测试的完整性,以实现 ISO 26262 和 DO-178C 合规。

基于需求的测试指标

模型测试仪表板可针对基于需求的测试提供其质量和完整性概览,并反映行业认可的软件开发标准(如 ISO 26262 和 DO-178)中的相关指南。它可以在多个来源(如需求、模型、测试和测试结果等)的项目工件之间形成一条数字主线,分析它们的一致性和完整性,并提供详细的状态指标测量结果。

仪表板小组件可以对每项指标进行汇总,以快速评估当前测试结果,包括指南遵循情况、测试相对于需求的完成情况,以及测试对需求的覆盖比例。

查看和管理基于需求的测试工件

模型测试仪表板可对工程中的工件和可追溯性链接进行分析,并在“工件”面板中显示工程中每个组件的功能需求、测试用例和测试结果。无法追溯到模型的工件会突出显示,以便您找到实现或验证中的问题所在。

仪表板可以显示哪些工件没有追溯到工程中的组件。

根据 ISO 26262 评估测试完整性

可以使用模型测试仪表板,根据 ISO 26262-6:2018 来评估基于需求的测试活动的质量和完整性。此仪表板可监控需求、测试和测试结果之间的可追溯性。它可以对工程中的实现和验证工件进行分析,并根据 ISO 26262-6:2018 提供基于需求的测试用例和测试结果的完整性和质量指标。此仪表板会将需求、测试用例和测试结果整理到其所追溯的模型下,便于您深入了解每个单元的测试完整性和结构覆盖率。

单击仪表板小组件可查看针对 ISO 26262 审核的指标详情表。

测量和查看模型指标

使用基于模型的设计工具提供的指标评估工程的状态。

收集模型指标以衡量质量

借助 Simulink Check 收集的模型指标,您可以基于 ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、IEC 62304、EN 50128 和其他标准合规性评估模型的架构、复杂度和可读性。

收集和自定义模型指标以评估质量。

使用仪表板查看整合的指标

指标仪表板在单个视图中集成了模型大小、代码行数、指南合规性状态、可重用性和复杂度等指标,便于您深入了解工程的质量。在模型审核过程中,可以使用仪表板审核设计质量及其标准合规性。

指标仪表板提供的设计状态整合视图。

简化和调试复杂模型

使用模型分块器并结合动态和静态分析来隔离功能。

突出显示依存关系

模型分块器分析静态依存关系,以突出显示模块、信号和模型组件的相互依存关系,并根据仿真过程中的活动行为分析动态依存关系,以帮助您更好地理解大型或复杂模型中的功能依存关系。

调试设计错误或测试故障

在 Simulink Test™ 中测试失败时,或在 Simulink Design Verifier™ 中发现属性冲突时,可以使用模型分块器启动调试,以便隔离错误原因、更快地解决问题。

创建简化的独立模型

模型分块器可以根据用户指定的起点、记录的信号或仿真时间窗来隔离模型的一部分,然后将其另存为保留了仿真行为的较小模型,以便您调试和改进性能。

突出显示模型中可以切片为简化模型以进行调试的部分。

通过 Stateflow 进行基于活动的时间切片

只有当 Stateflow® 中选定的状态和转移在仿真过程中同时处于活动状态时,模型突出显示才可以限制为仿真时间间隔,以隔离感兴趣的行为。

识别状态激活时的有效逻辑。

重构模型以改进设计并提高组件可重用性

识别可自动重构的克隆件和建模模式,以提高可维护性。

识别和重构建模克隆件

识别建模克隆件工具会分析模型以找到重复的建模模式。然后,您可以使用可重用的库自动重构这些重复的克隆件,以提高可维护性并降低设计复杂度。

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

Model Transformer 工具会识别可以变换为 Variant Source 或 Variant Subsystem 模块的建模模式,并重构模型以改进模型组件化和可重用性。它可以识别可消除的数据存储块,以提高可读性。

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