什么是组件验证?
组件验证方法
通过组件验证,您可以使用以下任一方法测试模型中的设计组件:
Within the context of the model that contains the component — 使用闭环控制器的系统仿真需要您验证控制系统模型内的组件。这样做可以让你用你的模型测试控制算法。这种方法称为系统分析。
As standalone components — 为了对组件算法有高度的信心,请将组件与系统的其余部分隔离开来验证。这种方法称为组件分析。
验证独立组件有三个优点:
您可以使用分析来重点关注由于受控系统的物理限制而无法测试的设计部分。
您可以使用此方法进行开环仿真,以测试没有反馈控制的工厂模型。
当模型不可用或出于性能原因需要以加速模式仿真控制系统模型时,可以使用这种方法。
Simulink Design Verifier 组件验证工具
通过隔离要验证的组件,并使用 Simulink® Design Verifier™ 提供的工具,您可以创建测试用例,从而扩大大型模型的测试范围。此扩展测试可帮助您实现以下目标:
实现 100% 的模型覆盖率— 如果某些模型组件没有记录 100% 的覆盖率,则顶级模型就无法实现 100% 的覆盖率。通过单独验证这些组件,您可以创建完全指定组件接口的测试用例,从而使组件记录 100% 的覆盖率。
调试组件——为了验证每个模型组件是否满足指定的设计需求,您可以创建测试用例来验证特定组件是否按设计执行。
测试组件的稳健性——为了验证组件是否正确处理意外输入和计算,您可以创建生成数据的测试用例。然后,测试组件中的错误处理功能。