Beispiel: Test von Sortierverfahren

sinngemäß nach Kap. 11 aus Real World Haskell: http://book.realworldhaskell.org/read/testing-and-quality-assurance.html

• zum Formulieren der Spezifikationen:

  ist_monoton :: Ord a => [a] -> Bool
  ist_permutation :: Eq a => [a]->[a]-> Bool
  erzeuge_monoton :: [Int] -> [Int]
  

• Spezifikationen von: merge, msort
• Implementierung von: merge, msort
• Testtreiber
• Testabdeckung