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:
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.
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .Select web site
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.