• documentation
main content

requirements-凯发k8网页登录

requirements-based model verification, interpreting and reporting test results

set verification link types between requirements and test artifacts such as:

  • test files, test suites, and test cases in simulink® test™

  • simulink design verifier™ verification blocks

  • simulink model verification library blocks

use the implementation status metrics to check if your requirements are implemented and address gaps in consistency. use the verification status metrics to check if your requirements are verified by running the tests associated with them. review implementation and verification status for the requirement set in the requirements editor. after running tests, view a results summary and address test failures. create justifications to exclude requirements from the implementation and verification status metric computation.

classes

work with requirement sets
work with slreq.justification objects
work with external results sources
work with external results sources

methods

query requirement set implementation status summary
query requirement set verification status summary
run test cases linked to requirement set
update requirement set implementation status summary
update requirement set verification status summary

topics


  • use the requirements implementation status to check how extensively requirements are implemented in your model.


  • use the requirements verification status to check test and analysis results linked to your requirements.

  • link test cases to requirements

    associate test cases with requirements.


  • track changes to test cases linked with the requirements in the requirements editor.


  • provide justifications for your requirements.


  • link and reflect the results from external sources in requirements verification status.


  • link a requirement to a matlab® script.


  • link a requirement to a test result file.

网站地图