Gáspár Nagy on software

coach, trainer and bdd addict, creator of SpecFlow

Property-based BDD Examples with SpecFlow and FsCheck

by Gáspár on November 2, 2016

BDD (Behavior-driven development) is a software development process focusing on active collaboration, which illustrates and automates the requirements using key examples of the problem domain. In BDD, the formalized examples use a natural language-based DSL driven by the Given/When/Then keywords. At the same time, property-based testing (PBT) uses abstract formulas to declare expectations for the […]