Lehrveranstaltungshandbuch Verifikation komplexer Software-Systeme

---

Verantwortlich: Prof.Dr. Nissen

Lehrveranstaltung

Befriedigt Modul (MID)

• aktuelle
  • Ma TIN2012 VKS

Organisation

Version erstellt 2013-04-25 VID 2 gültig ab WS 2012/13 gültig bis

Bezeichnung Lang Verifikation komplexer Software-Systeme LVID F07_VKS LVPID (Prüfungsnummer)

Semesterplan (SWS) Vorlesung 2 Übung (ganzer Kurs) 1 Übung (geteilter Kurs) Praktikum 1 Projekt Seminar Tutorium (freiwillig)

Präsenzzeiten Vorlesung 30 Übung (ganzer Kurs) 15 Übung (geteilter Kurs) Praktikum 15 Projekt Seminar Tutorium (freiwillig)

max. Teilnehmerzahl Übung (ganzer Kurs) Übung (geteilter Kurs) 30 Praktikum 18 Projekt 18 Seminar 30

Gesamtaufwand: 150

Unterrichtssprache

• Deutsch

Niveau

• Master

Notwendige Voraussetzungen

• grundlegende Kenntnisse in Software Engineering

Literatur

• keine

Dozenten

• Prof.Dr. Nissen

Wissenschaftliche Mitarbeiter

• tba

Zeugnistext

Verifikation komplexer Software-Systeme

Kompetenznachweis

Form
sMP	mündliche Prüfung

Aufwand [h]
sMP	10

Intervall: 3/Jahr

---

Lehrveranstaltungselemente

Vorlesung / Übung

Lernziele

Lerninhalte (Kenntnisse)

• Grundlagen und Begriffe des Software-Testens
• unterschiedliche Teststufen und ihre Ziele
• Organisation und Management eines Testprojektes
• fortgeschrittene Verfahren zur Ableitung von Testfällen aus Spezifikationen
• formale Prüfverfahren
• Prüfverfahren für Benutzeroberflächen
• Prinzipien von verschiedenen modernen Testsprachen (JUnit, TTCN-3)
• Fähigkeiten moderner Testwerkzeuge

Fertigkeiten

• Anwendung fortgeschrittener Verfahren zur Testfallauswahl
• Anwendung formaler Prüfverfahren
• Auswahl geeigneter Testverfahren
• Auswahl geeigneter Testsprachen und -werkzeuge

Begleitmaterial

• elektronische Vortragsfolien zur Vorlesung
• elektronische Übungsaufgabensammlung

Besondere Voraussetzungen

• keine

Besondere Literatur

• keine

Besonderer Kompetenznachweis

Form
bÜA	Präsenzübung und Selbstlernaufgaben

Beitrag zum LV-Ergebnis
bÜA	unbenotet

Intervall: 1/Jahr

Praktikum

Lernziele

Fertigkeiten

• Erstellung von Code in verschiedenen Testsprachen
• Anwendung von Testwerkzeugen

Handlungskompetenz demonstrieren

• unterschiedliche Testverfahren auf konkrete Probleme anwenden
• Prüfen einer gegebenen GUI auf geforderte Eigenschaften
• Realisierung von Testfällen in JUnit
• Realisierung eines nebenläufigen Testsystems in TTCN-3 für ein gegebenes Testobjekt
• Testabdeckung und Testergebnissedokumentieren, kritisch beurteilen und verteidigen

Begleitmaterial

• elektronische Entwicklungswerkzeuge für Testsysteme

Besondere Voraussetzungen

• keine

Besondere Literatur

• keine

Besonderer Kompetenznachweis

Form
bSZ	praxisnahes Szenario bearbeiten

Beitrag zum LV-Ergebnis
bSZ	Voraussetzung für Teilnahme an mündlicher Prüfung

Intervall: 1/Jahr