在工作文件夹中创建项目的副本。该项目包含数据，文档，模型和测试。进入：

path = fullfile（matlabroot，'toolbox'，'shared'，'simear'，...'验证'，'src'，'cruise'）运行（fullfile（path，'slverificedcruisestart'））

在项目的模型文件夹,打开万博1manbetxsimulinkCruiseAddReqExample.slx模型。

显示需求。单击单击模型画布右下角的图标，然后选择要求。需求出现在模型画布下面。

扩展需求信息以包括验证和实现状态。右键单击需求并选择验证状态和实现状态。

在项目窗口中，打开万博1manbetx^®测试™文件slReqTests.mldatx从测试文件夹中。测试文件在测试管理器中打开。

在项目窗口中，打开万博1manbetx仿真软件测试文件slReqTests.mldatx从测试文件夹中。测试文件在测试管理器中打开。探索测试套件并进行选择安全测试。

回到模型。右键单击要求3.1年代并选择从选择的测试用例链接。

链接到安全测试测试案例已添加到验证了。黄色的条验证列表示没有验证需求。

还要为item添加一个链接3.4年代。

返回测试管理器。要运行测试用例，请单击运行。

测试完成后，审查结果。测试管理器显示，两种评估传递和绘图都提供了每个的详细结果验证陈述。

返回到模型并刷新需求。绿色的条在验证列表示该需求已成功验证。

使用自定义创建报表微软^®词模板。

审查报告。