1 Std. 26 Min.

24: Softwaretechnik 1, Übung, SS 2017, 21.07.2017 Softwaretechnik 1, Vorlesung, SS2017

    • Kurse

24 |
0:00:00 Starten
0:00:53 Aufgabe 1: KFG-orientiertes Testen
0:19:59 KFG-orientiertes Testen: AU & ZÜ
0:20:41 KGF-orientiertes Testen: Problem bei PÜ
0:23:16 Kontrollflussgraph finden
0:25:38 Aufgabe 2: Codeinspektion
0:31:11 Aufgabe 3: Parallelisierung von Geometrify
0:44:22 Aufgabe 4: Ideen des Praktikanten
0:46:43 Aufgabe 4: Über Iterationen parallelisieren
0:50:54 Aufgabe 4: Bild in Kacheln
0:54:21 Aufgabe 4: Bonus: Zufällige Kacheln
0:57:48 Aufgabe 4: Fazit
0:59:10 Übersichtsmatrix: Was kommt im Folgenden?
1:00:12 Funktionale Tests
1:02:47 Verfahren zur Testfallbestimmung
1:03:40 Funktionale Äquivalenzklassenbildung
1:05:23 Grenzwertanalyse
1:07:17 Zufallstest
1:08:41 Verwendung von Testhelfern
1:11:14 Test von Zustandsautomaten
1:12:49 Leistungstests: Lasttests
1:14:09 Leistungstests: Stresstest
1:16:09 Manuelle Prüfung-Anmerkungen
1:19:04 Software-Inspektionen (Überblick)
1:21:36 Abgrenzung
1:23:08 Definition: Inspektion
1:23:34 Vor- und Nachteile von inspektionen
1:24:44 Zahlen über Nutzen und Kosten

Inhalt der Vorlesung ist der gesamte Lebenszyklus von Software von der Projektplanung über die Systemanalyse, die Kostenschätzung, den Entwurf und die Implementierung, die Validation und Verifikation, bis hin zur Wartung von Software. Weiter werden UML, Entwurfsmuster, Software-Werkzeuge, Programmierumgebungen und Konfigurationskontrolle behandelt.

Weiterführende Literatur:
- Objektorientierte Softwaretechnik : mit UML, Entwurfsmustern und Java / Bernd Brügge ; Allen H. Dutoit, München [u.a.] : Pearson Studium, 2004. - 747 S., ISBN 978-3-8273-7261-1
- Lehrbuch der Software-Technik - Software Entwicklung / Helmut Balzert, Spektrum-Akademischer Vlg; Auflage: 2., überarb. und erw. A. (Dezember 2000), ISBN-13: 978-3827404800
- Software engineering / Ian Sommerville. - 7. ed., Boston ; Munich [u.a.] : Pearson, Addison-Wesley, 2004. - XXII, 759 S., (International computer science series), ISBN 0-321-21026-3
- Design Patterns: Elements of Reusable Object-Oriented Software / Gamma, Erich and Helm, Richard and Johnson, Ralph and Vlissides, John, Addison-Wesley 2002, ISBN 0-201-63361-2
- C# 3.0 design patterns : [Up-to-date for C#3.0] / Judith Bishop, Bejing ; Köln [u.a.] : O'Reilly, 2008. - XXI, 290 S., ISBN 0-596-52773-X, ISBN 978-0-596-52773-0

Lehrinhalt:
Inhalt der Vorlesung ist der gesamte Lebenszyklus von Software von der Projektplanung über die Systemanalyse, die Kostenschätzung, den Entwurf und die Implementierung, die Validation und Verifikation, bis hin zur Wartung von Software. Weiter werden UML, Entwurfsmuster, Software-Werkzeuge, Programmierumgebungen und Konfigurationskontrolle behandelt.

24 |
0:00:00 Starten
0:00:53 Aufgabe 1: KFG-orientiertes Testen
0:19:59 KFG-orientiertes Testen: AU & ZÜ
0:20:41 KGF-orientiertes Testen: Problem bei PÜ
0:23:16 Kontrollflussgraph finden
0:25:38 Aufgabe 2: Codeinspektion
0:31:11 Aufgabe 3: Parallelisierung von Geometrify
0:44:22 Aufgabe 4: Ideen des Praktikanten
0:46:43 Aufgabe 4: Über Iterationen parallelisieren
0:50:54 Aufgabe 4: Bild in Kacheln
0:54:21 Aufgabe 4: Bonus: Zufällige Kacheln
0:57:48 Aufgabe 4: Fazit
0:59:10 Übersichtsmatrix: Was kommt im Folgenden?
1:00:12 Funktionale Tests
1:02:47 Verfahren zur Testfallbestimmung
1:03:40 Funktionale Äquivalenzklassenbildung
1:05:23 Grenzwertanalyse
1:07:17 Zufallstest
1:08:41 Verwendung von Testhelfern
1:11:14 Test von Zustandsautomaten
1:12:49 Leistungstests: Lasttests
1:14:09 Leistungstests: Stresstest
1:16:09 Manuelle Prüfung-Anmerkungen
1:19:04 Software-Inspektionen (Überblick)
1:21:36 Abgrenzung
1:23:08 Definition: Inspektion
1:23:34 Vor- und Nachteile von inspektionen
1:24:44 Zahlen über Nutzen und Kosten

Inhalt der Vorlesung ist der gesamte Lebenszyklus von Software von der Projektplanung über die Systemanalyse, die Kostenschätzung, den Entwurf und die Implementierung, die Validation und Verifikation, bis hin zur Wartung von Software. Weiter werden UML, Entwurfsmuster, Software-Werkzeuge, Programmierumgebungen und Konfigurationskontrolle behandelt.

Weiterführende Literatur:
- Objektorientierte Softwaretechnik : mit UML, Entwurfsmustern und Java / Bernd Brügge ; Allen H. Dutoit, München [u.a.] : Pearson Studium, 2004. - 747 S., ISBN 978-3-8273-7261-1
- Lehrbuch der Software-Technik - Software Entwicklung / Helmut Balzert, Spektrum-Akademischer Vlg; Auflage: 2., überarb. und erw. A. (Dezember 2000), ISBN-13: 978-3827404800
- Software engineering / Ian Sommerville. - 7. ed., Boston ; Munich [u.a.] : Pearson, Addison-Wesley, 2004. - XXII, 759 S., (International computer science series), ISBN 0-321-21026-3
- Design Patterns: Elements of Reusable Object-Oriented Software / Gamma, Erich and Helm, Richard and Johnson, Ralph and Vlissides, John, Addison-Wesley 2002, ISBN 0-201-63361-2
- C# 3.0 design patterns : [Up-to-date for C#3.0] / Judith Bishop, Bejing ; Köln [u.a.] : O'Reilly, 2008. - XXI, 290 S., ISBN 0-596-52773-X, ISBN 978-0-596-52773-0

Lehrinhalt:
Inhalt der Vorlesung ist der gesamte Lebenszyklus von Software von der Projektplanung über die Systemanalyse, die Kostenschätzung, den Entwurf und die Implementierung, die Validation und Verifikation, bis hin zur Wartung von Software. Weiter werden UML, Entwurfsmuster, Software-Werkzeuge, Programmierumgebungen und Konfigurationskontrolle behandelt.

1 Std. 26 Min.

Mehr von Karlsruher Institut für Technologie

Theoretische Grundlagen der Informatik, Vorlesung, WS19/20
Karlsruher Institut für Technologie (KIT)
Grundbegriffe der Informatik, Vorlesung, WS18/19
Karlsruher Institut für Technologie (KIT)
Numerische Mathematik für die Fachrichtungen Informatik und Ingenieurwesen, Vorlesung, SS2019
Karlsruher Institut für Technologie (KIT)
Forschungspodcast »Selbstbewusste KI«
Karlsruher Institut für Technologie (KIT)
Programmieren, WS19/20, Vorlesung
Karlsruher Institut für Technologie (KIT)
Informatik Vorkurs V4, Vorlesung, WS16-17
Karlsruher Institut für Technologie (KIT)