文档

金宝appSimulink验证与验证

验证模型和生成的代码

金宝app®验证和确认™自动化需求跟踪、建模标准遵从性检查,以及模型和生成代码覆盖率的度量。

你可以创建详细的需求跟踪报告,编写您自己的建模样式检查,并开发检查配置与工程团队共享。需求文档可以链接到模型、测试用例和生成的代码。您可以使用覆盖率分析来确认模型和生成的代码已经被彻底测试过了。

金宝appSimulink验证与验证提供了DO-178、ISO 26262、IEC 61508及相关行业标准。

开始

学习Simulink验证和验证的基础知识金宝app

模型指南遵从性

验证模型符合标准和建模指南

需求跟踪

模型对象和外部文档中定义的相关需求之间的链接

模型覆盖率分析

度量模拟中的模型覆盖率,并从覆盖率数据生成测试用例

基于模型的测试

管理组件测试数据,在SIL或PIL仿真中执行测试套件,配置模型验证块

组件化模型重构

识别重构模型的建模克隆和模式

验证和确认

使用Si金宝appmulink产品来下载188bet金宝搏测试模型和代码,检查设计错误,检查标准,测量覆盖率,并验证系统

工具资质和认证

有资格金宝appSimulink验证与验证进行DO和IEC认证