Requirements-based Testing

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

`slreq.Justification`	Work with `slreq.Justification` objects
`slreq.verification.services.TAP`	Work with external results sources
`slreq.verification.services.JUnit`	Work with external results sources

Topics

Summarize Requirements Verification Status

Check test and analysis results linked to your requirements.

Link to Test Cases from Requirements

Associate test cases with requirements.

Justify Requirements

Provide justifications for your requirements.

Include Results from External Sources in Verification Status

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

Featured Examples

Integrating results from a custom authored MATLAB script as a test

In this example, you link a requirement to a MATLAB script. The verification status in the Simulink Requirements Editor reflects the test results.

Open Script

Integrating Results from an External Result file

In this example, you link a requirement to a test result file that is in Excel Format. The verification status in the Simulink Requirements Editor reflects the test results. The external results file is an Excel file called results.xlsx. The verification status in Simulink Requirements updates based on the values of the cells in the Excel sheet. A unique ID in the Test column identifies each result in the Status column. The Test and Status labels are contained in a header row.