Modulbeschreibung

Unit Testing

ECTS-Punkte:
15
Lernziele:

Die Studierenden

  • vertiefen ihre Kenntnisse im Bereich der Softwareverifikation.
  • erlangen tieferen Einblick in Testingstrategien.
  • konzipieren das Projekt thematisch und im Ablauf selbstständig und setzen es erfolgreich um.
  • sind in der Lage die Ergebnisse ihrer Arbeit addressatenspezifisch, schriftlich und mündlich zu kommunizieren.
  • verstehen die theoretischen und praktischen Hintergründe von fundamentalen Verifikationstechniken.

Kurse in diesem Modul

Unit-Testing im Bereich Embedded Systems:
  • Recherche über bestehende Vorgehensweisen für Unit-Testing im Embedded Umfeld
  • Entwickeln geeigneter Teststrategien für ausgewählte Probleme aus der Embedded Treiberentwicklung (in Bare-Metal und Betriebssystemumgebung)
  • Untersuchung des Einflusses der gewählten Lösungen auf die Performanz
Projekt mit undefined Lektionen pro Woche
Softwareverifikation:
  • Axiomatische Semantik
  • Abstrakte Interpretation
  • Modellprüfung und Echtzeit
  • Testing
Selbststudium mit undefined Lektionen pro Woche
Disclaimer

Diese Beschreibung ist rechtlich nicht verbindlich! Weitere Informationen finden Sie in der detaillierten Modulbeschreibung.