Software Quality Management - Sommersemester 21

Auf dieser Seite finden Sie Prüfungskriterien, Folien, Übungsaufgaben, Beispiellösungen und Hinweise zu Werkzeugen sowie weitere interessante Informationsquellen. Beachten Sie, dass bei offenen organisatorischen Fragen im Zweifelsfall die Prüfungs- und die Studienordnung Klärung bringen können.

Inhalt

Einen Überblick über den Inhalt der Veranstaltung finden Sie in der Modulbeschreibung auf den Seiten des Studiengangs. Wichtig sind die dort genannten Ziele. Der Inhalt der Lehrveranstaltung kann leicht von der dortigen Modulbeschreibung abweichen.
Die Vorlesung baut auf verschiedenen Kenntnissen und Erfahrungen der vorherigen Semester, insbesondere SW-Engineering und theoretischer Informatik auf.

Buch

Teile der Vorlesung zum Model Checking finden sich in [Kle09], das Studierende der Hochschule Osnabrück kostenlos über die Bibliotheksseiten als PDF legal für das Studium beziehen können. Teile der Vorlesung zur Qualitätssicherung finden sich in [Kle19], das Studierende der Hochschule Osnabrück kostenlos über die Bibliotheksseiten als PDF legal für das Studium beziehen können.

[Kle09] S. Kleuker, Formale Modelle der Softwareentwicklung, Vieweg+Teubner, Wiesbaden, 2009
[Kle19] S. Kleuker, Qualitätssicherung durch Softwaretests, 2. aktualisierte und erweiterte Auflage, Springer Vieweg, Wiesbaden, 2019

Termine

Prüfungskriterien

Die Bewertung erfolgt anhand einer Hausarbeit. Die Prüfungsvorleistung besteht aus Praktikumsaufgaben.

Lernnotizen und Folien

Dies ist die Foliensammlung des Semesters.

Aufgaben

Liegen ab Montag vor der Veranstaltung vor. Sie werden im Praktikum am folgenden Dienstag besprochen. Aufgabenblätter sind in Dreier- (oder in Ausnahmefällen) Zweier-Gruppen zu bearbeiten.

Abschlussaufgabe

Die möglichen Aufgabenstellungen werden hier vorgestellt, die endgültige Auswahl ist mit dem Dozenten abzusprechen.

Werkzeuge

Für Teilnehmer der Veranstaltung steht die zu nutzende Entwicklungsumgebung unter diesem Link zum Download bereit. Abgaben müssen in dieser Win 10-Umgebung laufen.


Zurück zur Kleuker-Hauptseite