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
, Fragen und Antworten
- Lernnotiz für die 10. Veranstaltungswoche
, Fragen und Antworten
- Lernnotiz für die 11. Veranstaltungswoche
, Fragen und Antworten
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.
Zurück zur Kleuker-Hauptseite