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.ReqSet`	Work with requirement sets
`slreq.Justification`	Requirement justifications
`slreq.verification.services.TAP`	Work with external results sources (Since R2020a)
`slreq.verification.services.JUnit`	Work with external results sources (Since R2020a)

Methods

`getImplementationStatus`	Query requirement set implementation status summary
`getVerificationStatus`	Query requirement set verification status summary
`runTests`	Run test cases linked to requirement set
`updateImplementationStatus`	Update requirement set implementation status summary
`updateVerificationStatus`	Update requirement set verification status summary

Topics

Verify and Validate a Model and Code

Use Verification, Validation, and Test products to define requirements, test models and code, check for design errors and standards compliance, and measure test coverage.
- STEP 1: Test Model Against Requirements and Report Results
- STEP 2: Analyze Models for Standards Compliance and Design Errors
- STEP 3: Perform Functional Testing and Analyze Test Coverage
- STEP 4: Analyze Code and Test Software-in-the-Loop
Review Requirements Verification Status
Use the requirements verification status to check test and analysis results linked to your requirements.
Review Requirements Implementation Status
Use the requirements implementation status to check how extensively requirements are implemented in your model.
Link Test Cases to Requirements
Associate Simulink Test test cases with requirements.
Verify Requirements with MATLAB Tests
Verify requirements by running linked MATLAB^® tests.
View Unified Verification Results in Metrics Dashboard and in Requirements Editor
Use the requirements verification status to visualize the results linked to your requirements which are used in Projects.
Track Changes to Test Cases in Requirements Editor
Track changes to test cases linked with the requirements in the Requirements Editor.
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.
Linking to a Test Script
Link a requirement to a MATLAB script.
Linking to a Result File
Link a requirement to a test result file.

Featured Examples

Verify a MATLAB Algorithm by Using Requirements-Based Tests

Verify a MATLAB algorithm by using MATLAB unit tests.

Open Live Script

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 Requirements Editor reflects the test results. This example performs the steps described in Linking to a Test Script. This example uses a requirements set file named counter_req.slreqx, a MATLAB script called runmytests.m that runs a test for the Counter class in Counter.m. The test script contains custom methods that write results a TAP format to a file named results.tap.

Open Live Script

Integrating Results from an External Result File

In this example, you link a requirement to a result file in Excel® Format. The verification status in the Requirements Editor reflects the test results. This example performs the steps described in Linking to a Result File. This example uses a requirement set file named counter_req and a test results file named results.xlsx. This file contains a test case named counterSetsValue.

Open Live Script

Validate Requirements by Analyzing Model Properties

Validate requirements that are modeled as properties for a control system.

Open Model

Fix Requirements-Based Testing Issues

Fix model testing quality issues by using the Model Testing Dashboard.

Open Live Script

Integrating Results from a Custom Authored MUnit Script as a Test

In this example, you integrate the results from a MATLAB® xml Unit test by linking to a test script. The verification status in the Requirements Editor reflects the test results. This example uses a requirement set file named counter_req and an XML unit test file named myMUnitResults.xml. This file contains a test case named testCounterStartsAtZero.

Open Live Script

Use Specification Models for Requirements-Based Testing

Follow a systematic approach to verify your design model against requirements.

Since R2022b

Open Live Script