Simulink 设计验证器的端口块是一种用于在证明和测试模式之间切换并设定需求标签的专用块

要求证明或测试在修改后的模型中可用，用于证明或测试设计。 设计模型通常受配置控制，而 SLDV 块的添加会破坏此配置。 在这种情况下要遵循的过程是使用证明或测试子系统修改一组块。 如果证明和测试目标都可以作为单个块使用，这将是一个节省时间的方法。 这可以通过使用 P 和 O 块并从 matlab 脚本启用或禁用此选项来实现。 还有一个额外的要求是在证明或测试覆盖率报告中提到要求编号。 这是不可能的。 Port 块可以实现这一点。 有一个与此块关联的函数文件，该文件被调用以设置参数。 可以更改批处理文件以满足个别要求。 该批处理文件能够根据情况自动生成证明和测试用例。