Fehlertolerierende S... Wintersemester 2013/... Einführung in d...

Software Engineering in der Praxis
für Informatiker / Wirtschaftsinformatiker

Inhalt der Lehrveranstaltung

Praktikum

Termine

Donnerstag 14:15–15:45 Raum: 10.125-113

Dozent: Benedikt Sixt, M. Sc., Xiaochen Wu, M. Sc.

Vortragsfolien und Aufgaben

ThemaAufgabenWerkzeugeHinweise
Einführung Produktionsanlage
Requirements Engineering Blatt 1 IBM Rational Requisite Pro Volere Template, Volere Snowcard
Petri-Netze Blatt 2 TINA, PIPE Petri Nets World
Zeitbehaftete Petri-Netze Blatt 3 TINA
Objektorientierte Analyse Blatt 4 Borland Together UML 2.0 Tutorial
Model Checking Blatt 5 NuSMV Kurzanleitung zu NuSMV, NuSMV Tutorial, NuSMV Bedienungsanleitung
Model Checking 2 Blatt 6 NuSMV Kurzanleitung zu NuSMV, NuSMV Tutorial, NuSMV Bedienungsanleitung
Objektorientiertes Design Blatt 7 Borland Together
Software Metriken / Statische Analyse Blatt 8 Borland Together, FindBugs Beispielcode JDKSort, JAP AN.ON
Funktionales Testen Blatt 9 Borland Together Codebeispiele
Strukturelles Testen Blatt 10 CodeCover (Referenz) Codebeispiele, Eclipse mit CodeCover (alternative fuer neuere Eclipse Versionen: EclEmma)