主要内容

基于需求的测试

基于需求的模型验证，解释和报告测试结果

设置需求和测试工件之间的验证链接类型，例如:

  • 中的测试文件、测试套件和测试用例金宝app®测试™

  • 金宝app仿真软件设计校验™验证块

  • 金宝appSimulink模型验证库块

使用实现状态度量来检查您的需求是否被实现，并解决一致性上的差距。使用验证状态度量来检查是否通过运行与需求相关联的测试来验证需求。在需求编辑器中检查需求集的实现和验证状态。运行测试后，查看结果摘要并处理测试失败。创建从实现和验证状态度量计算中排除需求的理由。

类

slreq。的理由 一起工作slreq。的理由对象
slreq.verification.services.TAP 与外部结果来源合作
slreq.verification.services.JUnit 与外部结果来源合作

主题

评审需求实现状态

使用需求实现状态来检查您的模型中需求实现的范围有多大。

评审需求验证状态

使用需求验证状态检查与需求相关联的测试和分析结果。

从需求链接到测试用例

将测试用例与需求联系起来。

证明要求

为你的要求提供理由。

在验证状态中包括来自外部来源的结果

在需求验证状态中链接并反映来自外部来源的结果。

链接到测试脚本

将需求链接到MATLAB脚本。

链接到结果文件

将需求链接到测试结果文件。

特色的例子

将自定义编写的MATLAB脚本的结果集成为测试

将自定义编写的MATLAB脚本的结果集成为测试

在本例中，您将一个需求链接到一个MATLAB脚本。Simulink Requirements Editor中的验金宝app证状态反映了测试结果。此示例执行链接到测试脚本中描述的步骤。要运行此示例，请单击Open example并运行它。这个示例使用:
打开生活的脚本
从外部结果文件集成结果

从外部结果文件集成结果

在本例中，您将需求链接到Excel格式的结果文件。Simulink Requirements Editor中的验金宝app证状态反映了测试结果。此示例执行链接到结果文件中描述的步骤。要运行此示例，请单击Open example并运行它。这个示例使用:
打开生活的脚本
通过分析模型属性来验证需求

通过分析模型属性来验证需求

分析控制系统模型是否符合作为属性建模的需求，并使用依赖关系分析调查属性违反情况。
开放模式
修复基于需求的测试问题

修复基于需求的测试问题

通过使用模型测试仪表板修复模型测试质量问题。
打开生活的脚本
将自定义编写的MUnit脚本的结果集成为测试

将自定义编写的MUnit脚本的结果集成为测试

在本例中，通过链接到测试脚本来集成MatlabXML单元测试的结果。Simulink需求编辑器中的验证状态反映测试结果。要运行此示例，请单击“打开示例”并运行它。此示例使用：金宝app
打开生活的脚本

金宝app仿真软件需求文档

金宝app

用Simulink自动验证和验证金宝app

用Simulink自动验证和验证金宝app

得到资源