A test suite for optimising code generators;Ein Testverfahren für optimierende Codegeneratoren

Informatik - Forschung und Entwicklung

Volumn 19, Issue 4, 2005, Pages 213-223

  Stürmer, Ingo ^a   Conrad, Mirko ^a  

^a DAIMLER AG   (Germany)

Author keywords

Model based code generation; Model based development; Optimizations; Simulink Stateflow; Test suite

Indexed keywords

EID: 24944544679     PISSN: 01783564     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00450-005-0189-5     Document Type: Article

References (33)

1. Baresel A, Conrad M, Sadeghipour S, Wegener J (2003) The Interplay between Model Coverage and Code Coverage. In: Proc. 11. Europ. Int. Conf. on Software Testing, Analysis and Review (EuroSTAR 03), Amsterdam (NL)
2. Baldan P, König B. Stürmer I (2004) Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. In: Proc. Int. Conf. on Graph Transformation (ICGT'04), LNCS vol 3256, pp 194-210
3. Conrad M, Fey I, Pohlheim H (2003) Automatisierung der Testauswertung für Steuergerätesoftware. In: Proc. 11. Int. Kongress Elektronik im Kraftfahrzeug, VDI-Berichte, vol 1789. VDI Verlag, Düsseldorf (D), pp 299-315
4. Edwards PD (1999) The Use of Automatic Code Generation Tools in the Development of Safety-Related Embedded Systems. In: Vehicle Electronic Systems, Europ. Conf. and Exhibition, ERA Report #99-0484
5. Grochtmann M, Grimm K (1993) Classification Trees for Partition Testing. Software Testing, Verification and Reliability, pp 63-82
6. Grimm K (2005) Software-Technologie im Automobil. In: Liggesmeyer P, Rombach D (eds) Software-Engineering für eingebettete Systeme. Spektrum Verlag, pp 299-315
7. Heck S (2005) Entwurf eines Modellgenerators für den systematischen Test optimierender Codegeneratoren. Diplomarbeit, TU Berlin (D)
8. Hanselmann H, Kiffmeier U, Köster L, Meyer M (1999) Automatic Generation of Production Quality Code for ECUs. In: Proc. Embedded Intelligence, Nürnberg (D)
9. Jungmann J, Beine M (2003) Automatische Code-Generierung für sicherheitskritische Systeme. Automotive Electronics, vol II
10. Karsai G, Agrawal A. Shi F, Sprinkle J (2003) On the use of Graph Transformation in the Formal Specification of Model Interpreters. Journal of Universal Computer Science 9(11):1296-1321
11. Klein T, Conrad M, Fey I, Grochtmann M (2004) Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. In: Proc. Modellierung 2004, Marburg (D), März 2004. Lecture Notes in Informatics, vol P-45, pp 31-41
12. Lamberg K, Beine M, Eschmann M, Otterbach R, Conrad M, Fey I (2004) Model-based testing of embedded automotive software using MTest. In: Proc. SAE World Congress 2004, Detroit (USA), März 2004. SAE technical paper #2004-01-1593
13. Lapsley P. Bier J, Shoham A, Lee EA (1997) DSP Processor Fundamentals. IEEE Press, New York (USA)
14. Lehmann E, Wegener J (2000) Test Case Design by Means of the CTE/XL. In: Proc. 8. Europ. Int. Conf. on Software Testing, Analysis and Review (EuroSTAR '00), Copenhagen (DK)
15. MATLAB/Simulink/Stateflow (Produktinformationen). The MathWorks Inc., www.mathworks.com/products
16. MTest (Produktinformationen). dSPACE GmbH, www.dspace.de
17. Muchnick SS (1997) Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco (USA)
18. Rau A (2003) Model-Based Development of Embedded Automotive Control Systems. Dissertation, Dept. of Computer Science, Universität Tübingen (D)
19. Reinfrank M (1994) Modellbasierte Funktionsentwicklung für Motorsteuerungen - Ein Pilotprojekt in der MSR-Entwicklungsumgebung MESA. In: Proc. 5. Int. Tagung Elektronik im Kraftfahrzeug, VDI-Berichte, vol 1152, VDI Verlag, Düsseldorf (D), pp 253ff
20. Reactis Simulator/Tester (Produktinformationen). Reactive Systems Inc., www.reactive-systems.com
21. Stürmer I, Conrad M (2003) Test Suite Design for Code Generation Tools. In: Proc. of 18th. Int. IEEE Automated Software Engineering Conference (ASE'03), pp 286-290
22. SimEx (Produktinformationen). IT Power Consultants, www.itpower.de/simex. html
23. Real-Time Workshop (Produktinformationen). The MathWorks Inc., www.mathworks.com/products
24. Thomsen T (2003) Integration of International Standards for Production Code Generation. Society of Automotive Engineers. SAE technical paper #2003-01-0855
25. TargetLink (Produktinformaitionen). dSPACE GmbH, www.dspace.de
26. Toeppe S, Ranville S, Bostic D, Wang C (1999) Practical Validation of Model Based Code Generation for Automotive Applications. In: Proc. of 18. AIAA/IEEE/SAE Digital Avionics System Conference, St. Louis (USA)
27. Ueda T, Ohata A (2004) Trends of Future Powertrain Development and the Evolution of Powertrain Control Systems. In: Proc. of 30. Int. Congress on Transportation Electronics (Convergence '04), Detroit (USA). SAE #2004-21-0063, pp 439-449
28. Wegener J, Stahmer H, Baresel A (2001) Evolutionary Test Environment for Automatic Structural Testing. Special Issue of Information and Software Technology 43:851-854
29. Rozenberg G (ed) (1997) Handbook of Graph Grammars and Computing by Graph Transformations, vol 1. World Scientific
30. MEval (Produktinformationen). IT Power Consultants, www.itpower.de/meval. html
31. Stürmer I (2004) Integration of the Code Generation Approach in the Model-based Development Process by Means of Tool Certification. Journal of Integrated Design and Process Science 8(2): 1-11
32. Bourjawah AS, Saleh K (1997) Compiler Test Case Generation Methods: A Survey and Assessment. Information and Software Technology 39:617-625
33. Conrad M, Sadeghipour S, Wiesbrock H (2005) Automatic Evaluation of ECU Software Tests. SAE World Congress 2005, Detroit (US), April 2005. SAE Paper 2005-01-1659