loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th Annual IEEE/NASA Software Engineering Workshop
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing
Greenbelt, Maryland
April 06-April 07
ISBN: 0-7695-2306-4
ASCII Text
x 
 
Lisa M. Boden, Robert D. Busser, Mark R. Blackburn, Aaron M. Nauman, "Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 325-332, 29th Annual IEEE/NASA Software Engineering Workshop, 2005.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2005.25,
author = {Lisa M. Boden and Robert D. Busser and Mark R. Blackburn and Aaron M. Nauman},
title = {Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2005},
isbn = {0-7695-2306-4},
pages = {325-332},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2005.25},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing
SN - 0-7695-2306-4
SP325
EP332
A1 - Lisa M. Boden,
A1 - Robert D. Busser,
A1 - Mark R. Blackburn,
A1 - Aaron M. Nauman,
PY - 2005
KW - null
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
Lisa M. Boden, Lockheed Martin Space Systems Company
Robert D. Busser, Software Productivity Consortium/T-VEC
Mark R. Blackburn, Software Productivity Consortium/T-VEC
Aaron M. Nauman, Software Productivity Consortium/T-VEC

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.

Citation:
Lisa M. Boden, Robert D. Busser, Mark R. Blackburn, Aaron M. Nauman, "Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing," sew, pp.325-332, 29th Annual IEEE/NASA Software Engineering Workshop, 2005
Usage of this product signifies your acceptance of the Terms of Use.