Skip to content
Hallway
0:00 / 0:00

#quickcheck#property-basedtesting#haskell

Code Checking Automation - Computerphile

Computerphile

2.6M subscribers • 70 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by John Hughes, co-designer of Haskell and QuickCheck

Beginner. No background in the topic needed.

126K views9 years ago2 recommendations

Tools and practiceProgramming languagesTestingHaskell

John Hughes explains and demonstrates property-based testing using QuickCheck to automatically find bugs in software.

The original version of text messaging had a flaw, but how can we investigate problems with software quickly and easily? Professor John Hughes shows us how a modern tool can automate the process of code checking. facebook.com/computerphile twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at bradyharan.com

Why it's here

2 people recommend this

What people say. Recommended as an excellent introduction to property-based testing.

u/srivkraniin r/haskell • Recommends

Code Checking Automation using QuickCheck - Computerphile
17View on Reddit

u/ParticularHabitin r/elixir • Recommends

On “Property-based testing”

This video tweeted from the elixir-lang account a couple days ago is a very good example: link to this video The stream_data repo also has some examples of properties that were used to find/understand bugs in Elixir itself: https://github.com/whatyouhide/stream_data/blob/master/test/stdlib/string_test.exs
5View on Reddit