Test von Software eingebetteter Systeme

• Grundlagen des Software-Tests
  • Anforderungsanalyse für Embedded-Tester
  • Formen der automatischen Code-Analyse (sound vs. unsound)
  • Zusammenspiel von Unit-Tests, Integrationstests und Systemtests
  • Black-Box-Testmethoden
• Spezielle Kapitel des Software-Tests bei eingebetteten Systemen
  • Systemtest-Kategorien im Embedded-Umfeld
  • Automation von Unit-Tests und Systemtests bei Ressourcenknappheit
  • Resource Testing
  • Testwerkzeuge
  • Worst-Case Execution Timing (WCET)
  • Schedulability-Analyse
• Spezialthemen
  • Data Race Testing und Deadlock-Analyse
  • Automatische Testreihung (z.B. bei langen Laufzeiten auf teuren Testsystemen)
  • Skalierung des Verifikationsaufwands (vom billigen Consumer Product zum sicherheitsrelevanten Produkt)
• Praktische Übungen
  • Alle Kursinhalte werden durch Beispiele aus der Praxis des Trainers illustriert.
  • Um den Lernerfolg zu maximieren, erproben die Teilnehmenden die Anwendung der Grundlagenmethoden in zwei bis drei intensiven praktischen Übungen.
• MicroConsult Plus:
  • Sie erhalten von uns das Buch Testing Embedded Softwareals Nachschlagwerk; gerne alternativ dazu ein Buch in deutscher Sprache.
  • Literatur zur Haftungsfragen bei sicherheitsrelevanten Systemen und Aufgaben mit Musterlösungen als Takeaway.

Lernziele

• Meistern Sie die Software-Verifikation komplexer Embedded Systems und erfahren Sie, wie Sie Testautomatisierung gewinnbringend einsetzen. In diesem praxisorientierten Seminar lernen Sie, Software füreingebettete Systeme effizient und normgerecht zu testen. Der Fokus liegt auf industrietauglichen Methoden, die den Anforderungen internationaler Standards, wie ISO 26262, EN 50716, EN 61508 und ISO 29119, gerecht werden.
• Das Seminar ist interaktiv und hat Workshop-Charakter: Bringen Sie Ihre eigene Testherausforderung mit und erarbeiten Sie gemeinsam mit Experten erste Lösungsansätze.

Zielgruppe

• Dieses Seminar richtet sich an Fachkräfte, die die Qualität ihrer Embedded Software sicherstellen müssen: Software-Tester & Testmanager, Embedded-Entwickler und technische Projektleiter

Voraussetzungen

• Grundkenntnisse der Programmierung, idealerweise in C, C++, Ada oder Rust