功能需求测试
R2026b验证 Simulink® 模型是否满足需求
功能需求是指 Simulink 模型为检查其是否符合预期设计规范而必须满足的特定条件和行为。功能需求定义了模型在各种条件下的行为方式，包括给定输入的预期输出。从可执行规范模型生成的测试输入向量与设计模型无关，规范模型可以作为验证设计模型行为的判定基准。
主题
- 模型需求
Simulink Design Verifier™ 模块库包含一个子库 Example Properties。示例属性子库包括：
- 执行功能测试并分析测试覆盖率
分析功能依赖关系，测试隔离的模型组件，创建测试用例套件、测试模型和代码来实现覆盖率。
- 为 Model 模块生成测试用例
为 Model Reference 模块生成测试用例。
- 使用 Requirements Table 块构建规范模型
了解规范模型以及如何使用它们进行基于需求的验证。 (自 R2022b 起)
- 通过扩展基于需求的测试来提高测试完整性
使用 Test Sequence 模块创建一个能够表示真实运行场景的功能测试，然后运行 Simulink Design Verifier 来对该测试进行仿真，并对其进行扩展以获得更高的测试覆盖率。
- 从 Requirements Table 块生成并导出测试
在包含 Requirements Table 块的模型中自动生成和执行测试。
- 使用观察者隔离验证逻辑
使用 Observer 模块将验证逻辑隔离在模型中。
- 使用规范模型进行基于需求的测试
按照系统的方法根据需求验证您的设计模型。 (自 R2022b 起)
- 使用增强型 MCDC 创建背靠背测试
使用增强型 MCDC 创建并运行等效性测试。
- 根据需求测试模型并报告结果
将模型与详细需求关联，证明可追溯性，并根据需求进行测试。
