Artwork

Inhalt bereitgestellt von Karlsruher Institut für Technologie (KIT). Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Karlsruher Institut für Technologie (KIT) oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.
Player FM - Podcast-App
Gehen Sie mit der App Player FM offline!

Programmieren, WS 2015/2016, gehalten am 13.01.2016, Vorlesung 10

1:27:21
 
Teilen
 

Archivierte Serien ("Inaktiver Feed" status)

When? This feed was archived on August 02, 2021 01:08 (2+ y ago). Last successful fetch was on April 07, 2020 16:50 (4y ago)

Why? Inaktiver Feed status. Unsere Server waren nicht in der Lage einen gültigen Podcast-Feed für einen längeren Zeitraum zu erhalten.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

Manage episode 187804141 series 1553623
Inhalt bereitgestellt von Karlsruher Institut für Technologie (KIT). Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Karlsruher Institut für Technologie (KIT) oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.
10: Vorlesung | 0:00:00 Starten 0:02:34 Motivation: Divide and Conquer 0:06:57 Rekursion 0:07:36 Rekursive Methoden 0:08:42 Beispiel: Fakultätsfunktion 0:11:09 Binomialfunktion 0:13:45 Binomialfunktion mit Caching 0:14:51 Rekursion - Zusammenfassung 0:15:46 Rekursion vs. Iteration 0:17:07 Die Kochsche Schneeflockenkurve 0:18:55 12 Java API 0:19:58 Java API 0:23:02 Das Java Collections Framework 0:24:32 Das Interface Collection 0:27:24 Exkurs: Wildcards in generischen Typen 0:28:41 Exkurs: Kovarianz / Invarianz 0:34:26 Sub-Interfaces von Collection 0:35:39 Das Interface Map 0:36:52 Map: Beispiel 0:37:52 Die Klasse Collections 0:39:28 Das Paket java.io 0:40:28 Ein-und Ausgabe in Java 0:43:33 13 Testen und Assertions 0:44:36 Softwarefehler (""Bugs"") 0:46:21 Berühmte Software-Fehler 0:49:36 Software-Fehler 0:54:12 Beispiel: Klassifikation Dreiecke 0:59:19 Kriterien für gute Testfälle 1:00:45 Was Testen ist... 1:03:45 Failure vs. Fault 1:05:14 Failure vs. Fault vs. Error 1:06:10 Beispiel: Failure vs. Fault 1:09:19 Was Testen nicht ist... 1:10:20 Warum Testen so schwierig ist 1:12:32 Testselektion 1:13:09 Wann sind wir fertig? 1:14:56 Teststrategien 1:15:36 Assertions (Geek & Poke) 1:17:11 Zusicherung 1:20:36 Pre- und Postconditions, Invarianten 1:21:30 Beispiel Invarianten 1:22:31 assert oder if-Abfrage? 1:23:50 Statische Analyse
  continue reading

14 Episoden

Artwork
iconTeilen
 

Archivierte Serien ("Inaktiver Feed" status)

When? This feed was archived on August 02, 2021 01:08 (2+ y ago). Last successful fetch was on April 07, 2020 16:50 (4y ago)

Why? Inaktiver Feed status. Unsere Server waren nicht in der Lage einen gültigen Podcast-Feed für einen längeren Zeitraum zu erhalten.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

Manage episode 187804141 series 1553623
Inhalt bereitgestellt von Karlsruher Institut für Technologie (KIT). Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Karlsruher Institut für Technologie (KIT) oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.
10: Vorlesung | 0:00:00 Starten 0:02:34 Motivation: Divide and Conquer 0:06:57 Rekursion 0:07:36 Rekursive Methoden 0:08:42 Beispiel: Fakultätsfunktion 0:11:09 Binomialfunktion 0:13:45 Binomialfunktion mit Caching 0:14:51 Rekursion - Zusammenfassung 0:15:46 Rekursion vs. Iteration 0:17:07 Die Kochsche Schneeflockenkurve 0:18:55 12 Java API 0:19:58 Java API 0:23:02 Das Java Collections Framework 0:24:32 Das Interface Collection 0:27:24 Exkurs: Wildcards in generischen Typen 0:28:41 Exkurs: Kovarianz / Invarianz 0:34:26 Sub-Interfaces von Collection 0:35:39 Das Interface Map 0:36:52 Map: Beispiel 0:37:52 Die Klasse Collections 0:39:28 Das Paket java.io 0:40:28 Ein-und Ausgabe in Java 0:43:33 13 Testen und Assertions 0:44:36 Softwarefehler (""Bugs"") 0:46:21 Berühmte Software-Fehler 0:49:36 Software-Fehler 0:54:12 Beispiel: Klassifikation Dreiecke 0:59:19 Kriterien für gute Testfälle 1:00:45 Was Testen ist... 1:03:45 Failure vs. Fault 1:05:14 Failure vs. Fault vs. Error 1:06:10 Beispiel: Failure vs. Fault 1:09:19 Was Testen nicht ist... 1:10:20 Warum Testen so schwierig ist 1:12:32 Testselektion 1:13:09 Wann sind wir fertig? 1:14:56 Teststrategien 1:15:36 Assertions (Geek & Poke) 1:17:11 Zusicherung 1:20:36 Pre- und Postconditions, Invarianten 1:21:30 Beispiel Invarianten 1:22:31 assert oder if-Abfrage? 1:23:50 Statische Analyse
  continue reading

14 Episoden

Alle Folgen

×
 
Loading …

Willkommen auf Player FM!

Player FM scannt gerade das Web nach Podcasts mit hoher Qualität, die du genießen kannst. Es ist die beste Podcast-App und funktioniert auf Android, iPhone und im Web. Melde dich an, um Abos geräteübergreifend zu synchronisieren.

 

Kurzanleitung