Testing smart contracts with QuickCheck by John Hughes

John Hughes explains how to use QuickCheck for property-based testing of Cardano smart contracts written in Haskell.

I will talk about some recent work on a random testing framework for smart contracts on the Cardano blockchain--which supports the world's largest "proof of stake" cryptocurrency. In contrast to the Ethereum blockchain, Cardano contracts are written in Haskell, but of course, they still need to be tested. I'll talk about the testing framework we've built, and its most novel aspect: not only must we test that nothing bad ever happens, but also that something good is always possible. John Hughes John is a well-known researcher in functional programming, the author of the classic paper Why Functional Programming Matters, and a contributor to the design of Haskell. He has been a Professor since 1985, at the University of Glasgow and Chalmers University in Gothenburg. He invented QuickCheck together with Koen Claessen in 2000, recently earning an ACM SIGPLAN award for the work. Since then John has focussed more and more on software testing, co-founding QuviQ in 2006. quviq.com linkedin.com/in/johnhughes/ If you want to get featured on the channel and have something to present, please head over to MeetUp and contact the organizers: meetup.com/Func-Prog-Sweden Video sponsor – Ada Beat adabeat.com/ Merch If you want to spread functional programming and support the channel, buy something from the shop: funcprogsweden.myspreadshop.net/ #funcprogsweden