Model-based testing of embedded automotive software using mtest

SAE Technical Papers

Volumn , Issue , 2004, Pages

  Lamberg, Klaus ^a   Beine, Michael ^a   Eschmann, Mario ^a   Otterbach, Rainer ^a   Conrad, Mirko ^b   Fey, Ines ^b  

^a DSPACE GMBH   (Germany)

^b DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CONTROL SYSTEMS; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; MODEL CHECKING; SOFTWARE DESIGN; TEST FACILITIES;

AUTOMOTIVE DEVELOPMENT; CLASSIFICATION TREE METHOD; DEVELOPMENT PROCESS; ELECTRONIC CONTROL UNITS; EMBEDDED AUTOMOTIVE SOFTWARES; HARD-WARE-IN-THE-LOOP; MODEL BASED DEVELOPMENT; SOFTWARE IN THE LOOPS;

SOFTWARE TESTING;

EID: 85072444232     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: 10.4271/2004-01-1593     Document Type: Conference Paper

References (8)

1. dSPACE TargetLink poduct information: http://www.dspaceinc.com.
2. Köster, L., Thomsen, t., Stracke, R.,: Connecting Simulink to Osek: Automatic Code Generation for Real-Time Operating Systems with TargetLink. SAE 2001, March 5-8, 2001, Detroit, Michigan, USA Technical Paper 2001-01-0024
3. v. Zanten, A., Erhardt, R., Landesfeind, K., Pfaff, G.,: Stability Control. In:, Jurgen R. K., (Ed.): Automotive Electronics Handbook. 2nd edition, Mc Graw-Hill, 1999
4. Broekman, E., Notenboom, E.,: Testing Embedded Software. Addison-Wesley, 2003
5. Grochtmann, M., Grimm, K.,: Classification Trees for Partition Testing. Software Testing, Verification and Reliability, 3, 63-82, 1993
6. Conrad, M., Dörr, H., Stuermer, I., Schuerr, A.,: Graph Transformations for Model-based Testing. Proc. of Modellierung 2002, Tutzing (D), März 2002
7. Lamberg, K., Richert, J., Rasche, R.,: A New Environment for Integrated Development and Management of ECU Tests. SAE 2003-01-1024, 2003.
8. dSPACE AutomationDesk product information: http://www.dspaceinc.com.