Skip to main content
SpringerLink
Log in

Ein Testverfahren für optimierende Codegeneratoren

  • Original Article
  • Published:
Informatik - Forschung und Entwicklung

Zusammenfassung

Die im Rahmen der Modell-basierten Entwicklung eingebetteter Steuerungs- und Regelungssoftware eingesetzten optimierenden Codegeneratoren müssen einer intensiven Qualitätssicherung unterzogen werden. Dem Einsatz von Testsuiten kommt dabei eine zentrale Rolle zu. Der Beitrag beschreibt den Aufbau einer modularen Testsuite für Codegeneratoren und schlägt einen Testansatz vor, der eine systematische Prüfung der vom Codegenerator angewendeten Optimierungstechniken ermöglicht.

Abstract

The optimising code generators employed as part of the model-based development of embedded control software must undergo intensive quality assurance. The use of test suites plays a central role in this process. This article describes the construction of a modular test suite for code generators and proposes a testing approach which makes a systematic test of the optimisations employed by the code generator possible.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  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

    Google Scholar 

  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

    Google Scholar 

  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

Download references

Author information

Authors and Affiliations

  1. Forschung und Technologie, DaimlerChrysler AG, Alt-Moabit 96a, 10559, Berlin, Deutschland

    Ingo Stürmer & Mirko Conrad

Authors
  1. Ingo Stürmer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mirko Conrad
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mirko Conrad.

Additional information

CR Subject Classification

I.6.4 I.6.5,D.2.5,I.2.2,D.3.4,D.3.4

Rights and permissions

Reprints and permissions

About this article

Cite this article

Stürmer, I., Conrad, M. Ein Testverfahren für optimierende Codegeneratoren. Informatik Forsch. Entw. 19, 213–223 (2005). https://doi.org/10.1007/s00450-005-0189-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00450-005-0189-5

Keywords

Search

Navigation