Property-based State Machine Testing • Andrew McCluskey • YOW! 2018
This presentation was recorded at YOW! 2018. #GOTOcon #YOW
Andrew McCluskey - Functional Programming Engineer at Data61
ABSTRACT
Automated testing is key to ensuring the ongoing health and well being of any software project, giving developers and users confidence that their software works as intended. Property based testing is a significant step forward compared to traditional unit tests, exercising code with randomly generated inputs to ensure that key properties hold
However, both of these techniques tend to be used at the level of individual functions. Many important properties of an application only appear at a higher level, and depend on the state of the application under test. The Haskell library hedgehog, a relative newcomer to the property based testing world, includes facilities for property-based state machine testing, giving developers a foundation on which to build these more complicated tests.
In this talk, Andrew will give you an introduction to state machine property testing using ’ll start with a quick refresher on property based testing, followed by a brief introduction to state machines and the sorts of applications they can be used to model. From there, he’ll take you on a guided tour of hedgehog’s state machine testing facilities.
Finally, Andrew will present a series of examples to show off what you can do and hopefully give you enough ideas to start applying this tool to your own projects. The application being tested will be a servant web application, and examples will include testing fundamentals such as content creation and deletion, uniqueness constraints, and authentication.
An intermediate knowledge of Haskell and familiarity with property based testing will be beneficial, but not essential. The slides and demo application will be available after the talk for people to study in detail. [...]
RECOMMENDED BOOKS
Vitaly Bragilevsky • Haskell in Depth •
Rebecca Skinner • Effective Haskell •
Graham Hutton • Programming in Haskell •
John Whitington • Haskell from the Very Beginning •
Gregor Hohpe • The Software Architect Elevator •
Henney & Monson-Haefel • 97 Things Every Software Architect Should Know •
Matthew Skelton & Manuel Pais • Team Topologies •
Forsgren, Humble & Kim • Accelerate: The Science of Lean Software and DevOps •
#Haskell #HaskellProgramming #StatMachineTesting #PropertyTesting #PropertyBasedTesting #Testing #ProgrammingLanguage #FunctionalProgramming #AndrewMcCluskey #Data61 #YOWcon
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at
Sign up for updates and specials at
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
1 view
0
0
2 months ago 00:03:15 1
Stehle tells Deputies He shoots at Pictures / Flyers of McClanahan for Targets
2 months ago 01:32:19 1
Security Thrown Off The Land Then #Derbyshire #Police Operation Lost Their Captured House!
3 months ago 00:00:37 1
Botany Manor - Out Now | PC, Nintendo Switch, Xbox and Game Pass
3 months ago 00:10:55 1
How Francis Key Bridge Leads to US Supply Chain Failure
3 months ago 00:23:05 1
The US Dollar is Being CRUSHED and they don’t know how to stop it
3 months ago 00:23:15 1
Backyard Squirrelympics 3.0- The Summer Games
3 months ago 00:17:14 1
🚨Election SHOCKWAVE! 3 Major Swing States w/ SKYROCKETING Voter Registrations No IDs
3 months ago 00:04:33 1
Luxury Villas by Elie Saab in Saudi Arabia | Riyadh Real Estate | Buy real estate in Saudi Arabia
3 months ago 00:22:28 1
Мягко от Тревоги l L-теанин l Активатор Мозга l Стресс и Память l L-theanine - Benefits
3 months ago 00:10:26 4
Видеоблог президента Д.Медведева. 14 - Video blog.
3 months ago 00:02:00 1
Top 8 Health Benefits of Green Tea – Dr. Berg
3 months ago 00:00:58 1
How Proteins are folded
3 months ago 00:09:06 1
Chromium - The HARDEST METAL ON EARTH!
3 months ago 00:48:54 1
Inside the MOST EXPENSIVE HOME in the State of Utah
3 months ago 00:25:14 1
🔴Fani Willis say “GO TO HELL” Jim Jordan & Trump as Biden throws MAJOR BABY FIT!
3 months ago 00:19:20 1
Top 15 Most Dangerous States in the US!
3 months ago 00:10:58 1
Further USD Strength Towards the End of the Month? | BDSwiss Market Moves on MT4