万博1manbetx模拟验证和验证

验证模型和生成的代码

万博1manbetx^®验证和验证™自动化需求跟踪，建模标准合规性检查以及对模型和生成代码的覆盖范围的测量。

您可以创建详细的要求可追溯性报告，作者您自己的建模样式检查，并开发与工程团队共享的检查配置。需求文档可以链接到模型，测试用例和生成的代码。您可以使用覆盖范围分析来确认对模型和生成的代码进行了彻底的测试。

万博1manbetx模拟验证和验证提供DO-178，ISO 26262的建模标准检查，IEC 61508和相关行业标准。

了解Simulink验证和验证的基础知识万博1manbetx

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

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

测量模拟模型覆盖范围，并从覆盖范围数据中生成测试案例

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

将建模克隆和模式识别为重构模型

使用Si万博1manbetxmulink产品测s manbetx 845试模型和代码，检查设计错误，根据标准检查，测量覆盖范围并验证系统

资格万博1manbetx模拟验证和验证用于DO和IEC认证

文档