Testen mit QuickCheck

John Sasse (mi4265)

Gesamtübersicht: Testen mit QuickCheck

• Einführung automatisiertes Testen
  • Motivation
  • Begrifflichkeiten
  • Historie und Rolle von XP (eXtreme Programming)
• Haskell und Testen - Überblick QuickCheck
• Einführende Beispiele QuickCheck
  • Einführung
  • Formulierung einer Eigenschaft
• Einführende Beispiele QuickCheck
  • Formulierung einer komplexen Eigenschaft - "sortiertes Einfügen in eine Liste"
  • komplexe Eigenschaften I
  • komplexe Eigenschaften II
• Einführende Beispiele QuickCheck
  • Testqualität - Quantified Properties
  • Testqualität - Classifying Test Cases
  • Testqualität - Observing Test Case Distribution
  • Testqualität - Collecting Data Values
  • Testqualität - Combining Observations
• Beispiele - Test und effizienzorientiertes Refactoring
  • Beispiele Vortrag „Effizienz in Haskell“ (1)
  • Beispiele Vortrag „Effizienz in Haskell“ (2)
• Beispiele - abstrakter Datentyp
  • ADT : Warteschlange
  • Implementierung 1 - Triviale Implementierung, Ausführbare Spezifikation
  • Implementierung 2 - Alternative, effiziente Implementierung
  • Äquivalenz I - Implementierungen ADT: Queue
  • Äquivalenz II - Implementierungen - Verbesserung Formulierung der Eigenschaften
  • Ergebnis der iterativen Verfeinerung
  • Formulierung mathematischer Eigenschaften
• Quellen und Literaturverzeichnis

Code generated with AusarbeitungGenerator Version 1.1, weblink