基于需求的测试工作流示例

这个例子向您展示了测试人员如何开始使用Simulink进行基于需求的测试万博1manbetx^®验证和验证工具。它将引导您了解如何使用测试序列创建测试，定义正式的评估，将测试用例链接到需求，运行测试套件，并分析缺失的模型测试覆盖率。该示例使用了Requirements Toolbox™、Simulink Tes万博1manbetxt™、Simulink Coverage™和Simulink Design Verifier™。