万博1manbetxSimulink检查
测量设计质量,跟踪验证活动,并验证符合标准
万博1manbetxSimulink Check™分析您的型号,要求和测试,以评估设计质量和遵守标准。它提供了在开发期间识别建模标准和指南违规的行业认可的检查和指标。万博1manbetx支持的高完整性软件开发标准包括ISO 26262,DO-178C,DO-254,IEC 61508,ISO 25119,IEC 62304和MathWorks咨询委员会(MAB)风格指南。万博1manbetxSimulink C万博1manbetxheck还支持Cert C,CWE和ISO / IEC TS 17961等安全编码标准。您可以创建自定义检查以遵守自己的标准或指南。编辑时间检查在编辑时识别合规性问题。
万博1manbetxSimulink检查提供了评估设计状态和质量等规模和复杂性等度量。模型测试仪表板可以从基于需求的测试活动中整合数据以跟踪测试状态。自动模型重构允许您替换建模克隆,降低设计复杂性,并确定可重用的内容。 The Model Slicer tool isolates problematic behavior in models and generates simplified models for debugging.
万博1manbetx通过支持行业标准IEC认证套件(对于ISO 26262和IEC 61508)和做资格套件(对于DO-178和DO-254)。
开始:
用于开发高完整性软件的即时支票
为了提高模型和生成的代码的质量和安全性,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定制建模检查和配置。您可以并行运行多个计算机上的检查,以加速合规验证。
检查是否符合安全标准
减少生成的代码中的合规性问题CETC,CWE和ISO / IEC TS 17961,您可以检查您的模型以识别可能引入编码标准合规性违规的建模构造。编辑时间检查可以将问题识别为更改,例如添加不建议用于安全编码标准的块。
基于要求的测试指标
模型测试仪表板提供了基于需求的测试质量和完整性的概述,并反映了ISO 26262和DO-178等行业知识的软件开发标准中的指南。它在来自多个来源的项目中的工件之间形成数字线程,例如要求,模型,测试和测试结果,分析它们的一致性和完整性,并提供详细的状态测量状态。
仪表板小部件总结了每种指标,以便快速评估测试当前的测试结果,包括遵守指南,完成要求的测试,以及测试所涵盖的要求百分比。
审查和管理基于要求的测试伪影
模型测试仪表板分析了项目中的工件和可跟踪性链接,并显示了工件面板中项目中每个组件的功能要求,测试用例和测试结果。为了帮助您确定实施或验证中的差距,突出显示没有可追溯性的文物。
根据ISO 26262评估测试完整性
使用模型测试仪表板以根据ISO 26262-6:2018评估基于需求的测试活动的质量和完整性。仪表板监视要求,测试和测试结果之间的可追溯性。它分析了项目中的实施和验证工件,并为基于要求的测试用例和根据ISO 26262-6:2018的测试结果提供了完整性和质量指标。仪表板在其追踪的模型下组织了要求,测试用例和测试结果,为您提供对每个单元的测试完整性和结构覆盖的洞察力。
收集模型指标以测量质量
万博1manbetxSimulink Check收集模型指标,您可以用来评估模型的架构,复杂性和可读性,符合ISO 26262,DO-178C,DO-331,DO-254,IEC 61508,IEC 62304,EN 50128和其他标准。
使用仪表板查看合并的指标
指标仪表板在单个视图中集成了诸如型号大小,代码行,指南规范状态,重用和复杂性等度量,为您提供了对项目质量的洞察力。使用仪表板在模型审核过程中审核设计和符合标准的质量。
突出依赖性
模型Slicer使用静态依赖性分析来突出显示块,信号和模型组件的相互依赖性以及基于模拟期间的主动行为的动态依赖性分析,以帮助您更好地了解大型或复杂模型中的功能依赖关系。
调试设计错误或测试故障
当在Simulink Test™中的测试失万博1manbetx败时,在Simulink Design Verifier™中识别出属性违规时,请使用模型切片机启动调试以隔离错误原因并更快地解决问题。
创建简化的独立模型
模型切片器可以基于用户指定的起始点,记录信号或模拟时间窗口隔离模型的一部分,并将其另存为较小的模型,以保留模拟行为以帮助调试和提高性能。
基于活动的时间流与状态流切片
当仅选定的状态和状态流中的转换时,模型突出显示可能会受到模拟时间间隔®在模拟期间同时活跃以隔离感兴趣的行为。
识别和重构模拟克隆
识别建模克隆工具分析模型以定位重复的建模模式。然后可以使用可重用的库自动重新使用这些重复的克隆,以提高可维护性并降低设计复杂性。
转换模型以提高组件可重用性和模型可读性
模型变压器工具识别可以将模型模式转换为变体源或变体子系统块,并重新推荐模型以提高模型分量和可重用性。它可以识别可以消除以提高可读性的数据存储块。