Requirements Based Testing Workflow Example - MATLAB & Simulink
Video Player is loading.
Current Time 0:00
Duration 1:36
Loaded: 10.28%
Stream Type LIVE
Remaining Time 1:36
 
1x
  • Chapters
  • descriptions off, selected
  • en (Main), selected
    Video length is 1:36

    Requirements Based Testing Workflow Example

    This example shows you how to get started with requirements-based testing using Simulink verification and validation tools. It walks you through how to link test cases to requirements, run test suites, and analyze missing model test coverage. The example uses Requirements Toolbox, Simulink Test, Simulink Coverage, and Simulink Design Verifier.

    Published: 18 Jan 2024

    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. Requirements Toolbox, to author, link, and validate requirements for designs and tests. Simulink Test, to develop, manage, and execute simulation based tests. Simulink Coverage, to measure model test completeness. And 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.

    View more related videos