Lehrveranstaltungshandbuch Verifikation komplexer Software-Systeme


Verantwortlich: Prof.Dr. Nissen

Lehrveranstaltung

Befriedigt Modul (MID)

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

Diese Seite läuft auf FoswikiDas Urheberrecht © liegt bei den mitwirkenden Autoren. Alle Inhalte dieser Kollaborations-Plattform sind Eigentum der Autoren.
Ideen, Anfragen oder Probleme bezüglich Foswiki? Feedback senden