Property-Based Testing in Erlang met PropEr

Traditionele unit tests missen vaak kritische randgevallen omdat ze alleen de specifieke scenario's evalueren die je zelf schrijft. Property-based testing verandert dit door automatisch een breed scala aan testinputs te genereren op basis van de eigenschappen (properties) waaraan je code moet voldoen. Deze cursus introduceert je in de concepten en uitvoering van property-based testing in Erlang met behulp van PropEr. Je maakt de stap van het handmatig schrijven van assertions naar het definiëren van high-level properties die altijd waar moeten zijn, zodat het testframework het zware werk verricht bij het vinden van bugs. Je leert aangepaste generators schrijven, falende testgevallen te verkleinen (shrinken) tot hun eenvoudigste vorm, en moderne testpraktijken te integreren in je ontwikkelworkflow. Wat je leert: - Begrijp de kernverschillen tussen traditionele unit testing en property-based testing - Definieer wiskundige en logische properties die correct systeemdrijfgedrag beschrijven - Bouw aangepaste datagenerators met PropEr om complexe structuren en typen te testen - Pas test-case shrinking toe om snel de hoofdoorzaak van fouten te isoleren - Integreer stateful property-based testing-technieken voor complexe systemen - Structureer je Erlang-testsuites om efficiënt te draaien binnen moderne ontwikkelpipelines Deze cursus begint met fundamentele concepten, waarin wordt gedefinieerd wat een property is en hoe het PropEr-framework werkt, voordat je door praktische, geschreven voorbeelden van het maken van generators en het uitvoeren van tests wordt geleid. Het is ontworpen voor softwareontwikkelaars en QA-engineers die bekend zijn met de basissyntaxis van Erlang en hun teststandaarden naar een hoger niveau willen tillen. Er is geen prior ervaring met property-based testing vereist. Begin vandaag nog met lezen om zeer veerkrachtige systemen te bouwen.