主要内容

基于需求的测试

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

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

  • 测试文件,测试套件和测试用例万博1manbetx®测验™

  • 万博1manbetxSimulink设计验证程序™验证块

  • 万博1manbetxSimulink模型验证库块

使用实施状态指标检查您的需求是否得到实施,并解决一致性方面的差距。使用验证状态度量来检查是否通过运行与需求相关联的测试来验证需求。在需求编辑器中查看需求集的实施和验证状态。运行测试后,查看结果摘要并解决测试失败问题。创建理由,将需求排除在实施和验证状态度量计算之外。

班级

slreq.理由 合作slreq.理由物体
slreq.verification.services.TAP 与外部结果来源合作
slreq.verification.services.JUnit 与外部结果来源合作

话题

审查需求实施状态

使用需求实现状态检查需求在模型中的实现程度。

评审需求验证状态

使用要求验证状态检查测试和分析结果链接到您的要求。

从需求链接到测试用例

将测试用例与需求相关联。

证明要求的合理性

为你的要求提供理由。

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

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

链接到测试脚本

将需求链接到MATLAB脚本。

链接到结果文件

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

特色实例