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.

fYear

2005

fDate

7-7 April 2005

Firstpage

325

Lastpage

332

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Workshop, 2005. 29th Annual IEEE/NASA

Conference_Location

Greenbelt, MD

Print_ISBN

0-7695-2306-4

Type

conf

DOI

10.1109/SEW.2005.25

Filename

1521221