开始使用万博1manbetx检查

万博1manbetx^®检查™分析模型、需求和测试来评估设计质量和符合标准。它提供了业界公认的检查和指标,确定建模标准和准则违反设计。万博1manbetx高度集成支持软件开发标准包括ISO 26262, - 178 c - 254, IEC 61508、ISO 25119、IEC 62304, MathWorks顾问委员会(MAB)风格指南。万博1manbetx仿真软件检查还支持安全万博1manbetx编码标准如CERT C, CWE, ISO / IEC TS 17961。您可以创建自定义检查符合自己的标准或指导方针,在编辑器中可以确定合规问题。

万博1manbetx仿真软件检查提供了评估指标,如大小和复杂性的地位和质量您的设计。模型试验仪表板合并数据从您的基于需求的测试活动跟踪测试状态。自动模式重构可以取代建模克隆,降低设计的复杂性,并确定可重用的内容。 模型切片机工具隔离有问题的行为模型和生成简化模型进行调试。

万博1manbetx支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)和做资格工具包(- 178)。

教程

质量评估和验证模型

使用业界公认的检查和违规行为指标,确定标准和指导方针。

• 步骤1:检测并修复模型顾问检查违规行为
• 步骤2:收集模型度量数据通过使用度量仪表板
• 步骤3:检测并修复合规问题
• 步骤4:重构模型来提高组件重用
• 简化模型的目标是使用模型切片机工具的分析复杂的模型
  

  简化仿真、调试和正式的分析大型复杂模型通过专注于感兴趣的一个领域。

• 通过使用模型评估基于需求的测试质量测试仪表板
  

  使用仪表板指标跟踪测试活动的状态和质量。

特色的例子

创建和部署一个模型顾问定制配置

演示了如何添加自定义检查模型的顾问和删除航运你不需要检查。

打开生活的脚本

监控你的设计使用模型的复杂性可维护性仪表板

评估大小、复杂性和架构的设计。

打开生活的脚本

探索的状态和质量测试活动使用模型检测仪表板

评估模型的状态和质量测试项目中。

打开生活的脚本

识别和排除代码测试结果和覆盖上的缺口

仪表板使用代码测试评估和解决代码测试问题。

打开生活的脚本

视频

编辑时间检查发现合规问题
学习如何编辑时间检查识别准则或标准问题在仿真软件或Stateflow编辑。万博1manbetx

建模标准遵从性
验证符合标准使用模型的顾问

使用合格的工具做- 178 c开发过程,第4部分:合格的模型Verification-Model标准
执行静态分析来验证模型标准、一致性和准确性,符合做- 178 c和- 331。