Title :
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing
Author :
Boden, Lisa M. ; Busser, Robert D. ; Blackburn, Mark R. ; Nauman, Aaron M.
Author_Institution :
Lockheed Martin Space Syst. Co.
Abstract :
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
Keywords :
aerospace computing; digital simulation; program testing; program verification; Lockheed Martin Space System independent verification and validation team; Simulink model tester; T-VEC technology; automated model-based testing; global assertion capability; software productivity consortium; test automation framework; Automatic testing; Design automation; Mathematical model; Network address translation; Productivity; Software testing; Software tools; Space technology; System testing; Thyristors;
Conference_Titel :
Software Engineering Workshop, 2005. 29th Annual IEEE/NASA
Conference_Location :
Greenbelt, MD
Print_ISBN :
0-7695-2306-4
DOI :
10.1109/SEW.2005.25
