252-0216-00L
Rigorous Software Engineering
| Semester | Frühjahrssemester 2022 |
| Dozierende | M. Schwerhoff,
M. Vechev |
| Periodizität | jährlich wiederkehrende Veranstaltung |
| Lehrsprache | Englisch |
Lehrveranstaltungen
Katalogdaten
| Kurzbeschreibung | The course provides an overview of techniques to build correct software, with a strong focus on testing and program analysis. |
| Lernziel | The course has two main objectives:
- Understand the core techniques for building correct software.
- Understand how to apply these techniques in practice. |
| Inhalt | The course presents an overview of techniques to build correct software, including:
- Code documentation
- Modularity and coupling (Design patterns)
- Dynamic program analysis (Testing, fuzzing, concolic execution)
- Static program analysis (Numerical abstract interpretation, pointer analysis, symbolic execution)
- Formal modeling (Alloy)
In addition, students apply the learned techniques to solve a group project in the area of program analysis. |
| Literatur | Will be announced in the lecture. |
Leistungskontrolle
| Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird) |
Leistungskontrolle als Semesterkurs |
| ECTS Kreditpunkte | 8 KP |
| Prüfende | M. Vechev,
M. Schwerhoff |
| Form | Sessionsprüfung |
| Prüfungssprache | Englisch |
| Repetition | Die Leistungskontrolle wird nur in der Session nach der Lerneinheit angeboten. Die Repetition ist nur nach erneuter Belegung möglich. |
| Prüfungsmodus | schriftlich 120 Minuten |
| Zusatzinformation zum Prüfungsmodus | The grade will be determined by:
- a mandatory project, 20%
- a final exam, 80%
Students who are repeating the course are required to repeat the project work. |
| Hilfsmittel schriftlich | None. |
| Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan. |
Lernmaterialien
|
|
| Hauptlink | Course Webpage |
| Es werden nur die öffentlichen Lernmaterialien aufgeführt. |
Gruppen
| 252-0216-00 U | Rigorous Software Engineering |
| | | |
|
| Gruppen | G-01 | | |
| G-02 | | |
| G-03 | | |
| G-04 | | |
Einschränkungen
| Keine zusätzlichen Belegungseinschränkungen vorhanden. |
Angeboten in
