Test and verification of Simulink and TargetLink models
Testing Simulink, Stateflow and TargetLink models with the testing tool TPT is very easy. Every model that can be run in Simulink, can be tested with the testing tool TPT. It does not matter if the model is made up of few or thousands signals and blocks. TPT supports functionalities like busses, model referencing, triggered subsystems, scaling and much more.
Besides functional requirements-based testing, TPT supports regression and back-to-back tests, as well as structural tests including automatic test case generation of Simulink and TargetLink models.
Compatible since MATLAB 7.5 and TargetLink 1.3
TPT is compatible with Simulink and TargetLink, and also with the Simulink Coder and Embedded Coder. Test and verification as Model-in-the-Loop (MiL), Software-in-the-Loop (SiL), and Processor-in-the-Loop (PiL) is supported.
Simulink testing workflow
Before executing the test, interface information and parameters can be automatically imported from the MATLAB workspace, the Simulink model, the Simulink or the TargetLink Data Dictionary. The test-harness will be generated automatically as a Simulink model. The test-harness contains the test driver and a copy of the Simulink or TargetLink model to be tested.
Test cases can be modeled manually as functional test cases, or they can be generated as structural test cases
by TASMO to meet model coverage.
Test are started from within TPT. TPT controls the Simulink model in MATLAB and can exchange parameters.
After the test execution, TPT starts the test assessment based on the collected data. A report of the results is generated.