Software Quality Management - Sommersemester 24 (Prof. Dr. Kleuker)

Software Quality Management - Sommersemester 24

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

Die Vorlesung findet online durch vorgefertigte Videos statt, die Betreuung im Praktikum erfolgt ebenfalls online in Arbeitsgruppen. Der genaue Ablauf wird pro Woche in den unten angegebenen Lernnotizen geregelt. Es wird erwartet dass die jeweiligen Vorlesungsvideos jeweils bis Mo 18:15 Uhr durchgearbeitet wurden, zur Vorlesungszeit gibt es dazu eine Online-Sprechstunde, in der Fragen zu Veranstaltungsinhalten beantwortet werden.
Die Veranstaltung beginnt am 4.3.24, das Praktikum ebenfalls am 4.3.24, dazu gibt es um 16:30 Uhr ein Treffen in Zoom (s. erste Lernnotiz).
Es finden 11 Veranstaltungstermine (2+2) ausgehend vom Anfang des Semesters statt.
vorläufige Planung, die am ersten Praktikumstermin gemeinsam geändert werden kann:
Praktikum: Mo 16:30-18:00 online
Vorlesung: Mo 18:15-19:45 online
Die Raumangaben im Vorlesungsverzeichnis, sind nur für Notfälle und werden nicht genutzt.

Prüfungskriterien

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

Lernnotizen und Folien

Dies ist die Foliensammlung des Semesters.

Lernnotiz für die 1. Veranstaltungswoche , Fragen und Antworten
Lernnotiz für die 2. Veranstaltungswoche , Fragen und Antworten
Lernnotiz für die 3. Veranstaltungswoche , Fragen und Antworten
Lernnotiz für die 4. Veranstaltungswoche , Fragen und Antworten
Lernnotiz für die 5. Veranstaltungswoche , Fragen und Antworten
Lernnotiz für die 6. Veranstaltungswoche , Fragen und Antworten
Lernnotiz für die 7. Veranstaltungswoche , Fragen und Antworten
Lernnotiz für die 8. Veranstaltungswoche , Fragen und Antworten
Lernnotiz für die 9. Veranstaltungswoche

Aufgaben

Liegen spätestens ab Dienstag vor der Veranstaltung vor. Aufgabenblätter sind in Dreier- (oder in Ausnahmefällen) Vierer- oder 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.

Einige Detailinformationen zu den Werkzeugen stehen hier.
Informationen zur Entwicklung mit Java in Eclipse stehen hier.

Zurück zur Kleuker-Hauptseite