The Simulink model tester "global assertions" capability developed by the software productivity consortium and T-VEC technologies is described in this paper. This assertions mechanism incorporates design assumptions or natural relationships with Simulink models to automatically generate more valid test vectors using the test automation framework. The positive impact this mechanism has on development and testing of Simulink models for the Lockheed Martin Space System's independent verification and validation team is also discussed
['Lisa M. Boden', 'Robert Busser', 'Mark R. Blackburn', 'Aaron Nauman']
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing