包含的出口测试模型需求表块与金宝app设计验证器
如果你创建的模型,包含需求表(需求工具箱)块和生成测试金宝app®设计验证器™,您可以导出测试测试经理(金宝app仿真软件测试)。配置测试时,您可以指定您想要使用的测试工具。运行测试之后,您可以确定测试失败或通过,并进一步检查结果。
构建模型并生成测试
金宝app仿真软件设计验证器从需求中定义创建测试目标需求表块。生成的测试中,构建一个模型,称为规范模型,需求表阻塞和仿真软件不定义测金宝app试目标。看到规范模型是什么?。在您创建需求,确认需求设置在每一个需求表块是完整和一致的通过分析他们。看到识别不一致和不完整的正式需求集(需求工具箱)。如果您没有创建完整和一致的要求,金宝app仿真软件设计验证器可能无法创建测试,满足测试目标。
构建需求之后,生成测试规范的模型。
在应用程序选项卡上,单击设计验证器。
在模式部分,设置模式测试生成。
在准备部分中,点击测试生成的设置。的需求表块与决定,支金宝app持测试生成条件,MCDC,增强MCDC和关系边界覆盖的目标。指定的目标模型覆盖目标参数。关于这些选项的更多信息,请参阅为测试生成模型覆盖目标。点击好吧。
在分析部分中,点击生成测试。金宝app仿真软件设计验证器表示有多少目标的需求满足。
如果至少有一个目标是不满意,更新您的需求。如果你之前没有分析需求,分析它们。
出口的测试测试经理
如果你有金宝app仿真软件测试™,您可以导出测试测试经理。在仿真软件设计金宝app校验结果摘要窗口中,点击导出测试用例模型测试金宝app。
出口设计验证器测试用例窗口显示属性之前,你可以调整出口。
有关属性的更多信息你可以选择,明白了导出测试用例模型测试金宝app。
运行测试
出口后测试,金宝app仿真软件测试注册的要求需求表块的测试用例生成。要查看这些作业,打开测试经理。然后选择的测试用例测试浏览器窗格。在测试用例窗格中,展开迭代部分。
如果你有一个手动创建的测试工具,你想运行测试,测试浏览器窗格中,选择测试用例,扩大被测系统。在模型字段中,指定模型,清晰的模型利用字段。
检查测试失败
如果你的一个测试失败,你可能需要调查失败的原因。如果你使用验证块利用来验证您的设计和规范模型的输出,或者如果你捕获设计模型输出需求后置条件,您可以使用财产证明测试工具和运行模型切片机来识别条件断言失败原因。
打开测试模型。
在设计验证器选项卡,模式部分中,选择财产证明。
在准备部分中,点击财产证明设置。如果您的规范模型使用至少一个后置条件,需求表块绿色凸显了后置条件如果相关的目标是证明满意,红色如果不,橙色为其他条件。
如果你使用验证块,金宝app仿真软件设计验证器强调了用红色块断言失败。
如果你使用验证模块,选择高亮显示的验证。在结果窗口中,点击调试。模型显示的值对应于每个信号导致失败。这些值只显示之外的需求表块。
有关更多信息,请参见通过使用模型切片机调试侵犯财产证明和证明与需求表属性块。
另请参阅
需求表(需求工具箱)
