The Simulink model tester "global assertions" capability developed by the software productivity consortium and T-VEC technologies is described in This work. This assertions mechanism incorporates design assumptions or natural relationships with Simulink models to automatically generate more valid test vectors using the test automation framework approach. The positive impact this mechanism has on the development and testing of Simulink models for the Lockheed Martin space system's independent verification and validation team is also discussed.
Adding natural relationships to Simulink models to improve automated model-based testing
2004-01-01
708031 byte
Conference paper
Electronic Resource
English
Adding Natural Relationships to Simulink Models to Improve Automated Model-Based Testing
British Library Conference Proceedings | 2004
|Automated functional testing of simulink control models
Tema Archive | 2008
|Model database for complex simulink models
Tema Archive | 2005
|Incorporating ISO 26262 Concepts in an Automated Testing Toolchain Using Simulink Design Verifier™
British Library Conference Proceedings | 2016
|Incorporating ISO 26262 Concepts in an Automated Testing Toolchain Using Simulink Design Verifier™
SAE Technical Papers | 2016
|