Requirements-Based Testing Workflow Example

This example shows you how a tester can get started with Simulink^® verification and validation tools. It walks you through how to create a test using a test sequence, define a formal assessment, link test cases to requirements, run test suites, and analyze missing model test coverage. The example uses Simulink Requirements™, Simulink Test™, Simulink Coverage™, and Simulink Design Verifier™.

When performing requirements-based testing, you define test vector inputs and expected results based on requirements.

Requirements are implemented in a design and are verified by test cases. There should be clear traceability between the requirements, design, and test cases.
Systematic testing takes this a step further by ensuring that the design is robust and free of errors. Model test coverage measures how much of your design has been exercised during simulation.

You can use it to uncover incomplete testing, incomplete traceability, or dead logic.

You can also generate test vectors to more easily understand how missing model test coverage could be achieved.

This example will show you how to conduct systematic testing using the following MathWorks products:

Simulink Requirements to manage requirements in the Simulink environment
Simulink Test to develop, manage, and execute simulation-based tests
Simulink Coverage to measure model test completeness
Simulink Design Verifier to generate test vectors to analyze missing model test coverage

The example assumes a basic knowledge of Simulink and Stateflow. If you have not used Simulink or Stateflow before, check out the Simulink Onramp and Stateflow Onramp courses.

Click on the link below to try the example.