功能需求测试
验证 Simulink® 模型是否满足需求
功能需求是指 Simulink 模型为确保其符合预期设计规范而必须满足的特定条件和行为。功能需求定义了模型在各种条件下的行为方式，包括给定输入的预期输出。
主题
- 模型需求
Simulink Design Verifier™ 模块库包含一个子库 Example Properties。示例属性子库包括：
- 执行功能测试并分析测试覆盖率
分析功能依赖关系，测试隔离的模型组件，创建测试用例套件、测试模型和代码来实现覆盖率。
- 使用 Requirements Table 模块构建规范模型
了解规范模型以及如何使用它们进行基于需求的验证。 (自 R2022b 起)
- 从 Requirements Table 模块生成并导出测试
在包含 Requirements Table 模块的模型中自动生成和执行测试。
- 使用观察者隔离验证逻辑
使用 Observer 模块将验证逻辑隔离在模型中。
