Please log in to watch this conference skillscast.
Love it or Loathe it, testing is an unavoidable aspect of developing high-quality software. But there's a world of difference between well-tested code and simply writing tests. Very often, the difference boils down to how you assess the "correctness" of your code. By focusing on software as a mapping from inputs to outputs, property-based testing offers a powerful methodology for testing the logical invariants a piece of code should always uphold, regardless of implementation details.
During this session, you will explore a review of FsCheck, a powerful library for doing property-based testing and sophisticated data generation in the CLR ecosystem. In addition to the basic features of the library, you will learn about identifying common invariant patterns and building specifications from collections of properties. Time will also be spent exploring how FsCheck can be used to refine domain models and integrate with other popular testing tools. Finally, real-world examples will highlight both the strengths and weakness of this approach to software craftsmanship. While no prior knowledge is assumed, familiarity with the CLR (.NET or Mono) will be helpful.
YOU MAY ALSO LIKE:
- Microservices from the very start with Russel Winder! (in London on 26th June 2017)
- The JVM as a platform for building smart contracts (in London on 28th June 2017)
- London Microservices User Group- July (in London on 5th July 2017)
- Infiniteconf 2017 - the conference on Big Data and Fast Data (in London on 6th - 7th July 2017)
Quick! Check your Properties (and Write Better Software) - Audience Level: Beginner
As a passionate – yet pragmatic – enthusiast of multi-paradigm and polyglot engineering, Paulmichael has spent the past 17 years blending a disparate array of languages, technologies, and methodologies to develop compelling solutions to a wide range of business problems. He especially enjoys solving challenges in distributed computing, visual communications, and heterogeneous enterprise systems. Paulmichael is a co-founder of NashF# (the Nashville F# Meetup) and a co-organizer of the New York City F# Users Group.He received Microsoft MVP Awards for his work in the .NET community in 2014, 2105, and 2016. When not at the keyboard, Paulmichael may be found globe-trotting with his wife and son (though his soul is still honky-tonkin' in Nashville, TN).