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.
