审查需求验证状态
您可以在需求浏览器和需求编辑器中查看需求的验证状态。验证状态反映了某些 MATLAB® 测试的结果,以及 Simulink® Test™ 测试和 Simulink Design Verifier™属性证明的结果。
验证功能需求
需求类型指定了需求的角色。功能需求以及具有 Functional
类型子类型的自定义类型的需求旨在得到实现并有助于验证状态摘要。其他需求类型对验证状态没有贡献。有关更多信息,请参阅 需求类型 和 使用 sl_customization 文件定义自定义需求和链接类型。
为了验证功能需求,使用Verify
类型的链接将其链接到验证项。有关更多信息,请参阅 链接类型。您只能使用这些验证项来验证需求:
MATLAB 测试:需求验证状态反映了使用需求编辑器或
runTests
方法运行的 MATLAB 测试的结果。此外,如果您有MATLAB Test,您可以使用 MATLAB 测试管理器 (MATLAB Test)来验证工程中的需求。有关更多信息,请参阅 使用 MATLAB 测试验证需求。注意
测试浏览器的测试结果不会影响需求编辑器中的验证状态。
仿真测试:需求验证状态反映了在测试管理器中运行以下可链接 Simulink Test 项后的结果:
测试文件
测试套件
测试用例
迭代
评估
要了解如何使用 Simulink Test 项验证需求,请参阅 根据需求测试模型并报告结果。
从 Simulink 测试管理器运行测试,或者使用
sltest.testmanager.run
(Simulink Test) 函数。有关创建和运行测试用例的简短教程,请关注 创建并运行基线测试用例 (Simulink Test) 的第一部分。通过在测试管理器中通过测试用例监视这些评估,捕获来自 verify (Simulink Test) 语句或 模型验证模块 (Simulink Test) 的运行时评估。
如果将包含 verify (Simulink Test) 语句的 Test Sequence模块中的步骤链接到需求,则可以在以下情况下可视化相应
verify
语句的验证状态:测试框架:您仿真包含 Test Sequence模块的测试框架,并在 Simulink 数据检查器 (SDI) 中打开仿真结果
测试管理器:您在 Simulink Test 中运行测试,该测试执行 Test Sequence模块,步骤包含
verify
语句。
或者,使用“需求”菜单中的“运行测试”选项或“
runTests
”函数对指定需求运行批量测试。如果在步骤不包含
verify
语句时手动将步骤的链接类型设置为验证者,则验证状态将保持为unexecuted
。Assert
语句将不会在需求编辑器中标记为验证者。有关更多信息,请参阅使用verify
语句评估模型仿真 (Simulink Test)。属性证明:验证状态反映了使用以下方法建模的属性的分析结果:
Simulink Design Verifier Proof Objective 模块
Model Verification (Simulink) 模块
将模块与需求链接起来,然后分析属性。有关更多信息,请参阅 通过分析模型属性来验证需求。
您还可以通过使用 Confirm
类型链接链接到外部结果源来验证需求。有关详细信息,请参阅 在验证状态中包含来自外部来源的结果
运行链接验证分析
Requirements Toolbox™ 直到您运行它时才会执行链接验证分析。您可以在需求编辑器或需求视角中运行分析。
需求编辑器或需求视角中的横幅显示结果待定的情况。要运行分析,点击横幅中的立即分析。或者,点击需求编辑器中的刷新或需求视角中的刷新按钮 。
链接验证分析在后台持续运行,直到您使用 slreq.clear
。
或者,您可以使用 updateVerificationStatus
和 getVerificationStatus
在 MATLAB 命令行查看验证状态,而无需在需求编辑器或需求视角中运行分析。您还可以使用runTests
运行与需求集的需求相关的测试并在命令行获取验证状态。
通过运行测试或分析来验证需求
通过运行与您的需求相关的测试或分析来生成验证状态。
在需求编辑器中,右键点击需求并选择运行测试。
在运行测试对话框中,选择测试。
点击运行测试。
注意
如果需求与测试有未解析的链接,则 Requirements Toolbox 不会运行该测试。有关解析链接的更多信息,请参阅 加载和解析链接。
您还可以通过在需求编辑器之外运行测试或分析来更新验证状态。
使用 MATLAB 测试管理器 (MATLAB Test)运行 MATLAB 测试。
在 Simulink Test 中,运行 Simulink 测试管理器中的测试。
在Simulink Design Verifier中,运行属性证明分析。
在Simulink中,运行包含模型验证模块的模型。
注意
如果您已将需求链接到多个模型中的 Simulink Design Verifier Proof Objective 模块,则当相应模型打开时,运行测试对话框会运行 Simulink Design Verifier 分析。
显示验证状态
验证状态汇总在需求浏览器的已验证列和需求编辑器中。要显示该列:
在需求编辑器中,选择
Columns > 验证状态
在模型窗口的需求浏览器窗格中,右键点击某个需求并选择验证状态。
例如,已验证列显示此需求集的部分验证链接,其中一个结果失败。
条形的丰满度表示一个组中包括父需求和子需求在内的有多少个需求与验证项相关联。颜色表示测试或分析结果:
通过(绿色):链接的测试已通过,或者分析证明了目标。
失败(红色):链接的测试失败,或者分析证明目标不成立。
已申述(浅蓝色):该需求被排除在状态之外,且有申述。有关更多信息,请参阅 申诉需求。
未执行:(黄色):链接的测试或目标:
尚未运行或执行
比最新结果更新得更近
无(空):该需求没有
Verify
类型的链接。
在报告中包括验证状态
您可以在需求报告中包含验证状态。
在需求编辑器菜单中,选择 报告 > 生成报告。
选择验证状态。
点击生成报告。
有关更多信息,请参阅 报告需求信息。