Main Content

本页翻译不是最新的。点击此处可查看最新英文版本。

基于需求的测试

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

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

  • Simulink® Test™ 中的测试文件、测试套件和测试用例

  • Simulink Design Verifier™ 验证模块

  • Simulink Model Verification 库中的模块

使用实现状态度量来检查需求是否已实现,并消除一致性方面的缺失。使用验证状态度量,通过运行与需求关联的测试来检查需求是否已经过验证。在需求编辑器中查看需求集的实现和验证状态。运行测试后,查看结果摘要并解决测试失败问题。创建申诉来从实现和验证状态度量计算中排除需求。

slreq.ReqSet Work with requirement sets
slreq.JustificationRequirement justifications
slreq.verification.services.TAP Work with external results sources (自 R2020a 起)
slreq.verification.services.JUnit Work with external results sources (自 R2020a 起)

方法

getImplementationStatus Query requirement set implementation status summary
getVerificationStatus Query requirement set verification status summary
runTests Run test cases linked to requirement set
updateImplementationStatusUpdate requirement set implementation status summary
updateVerificationStatusUpdate requirement set verification status summary

主题