FSharping #11 - Property-based testing pomocí FsCheck
Na půl cesty mezi formalní verifikací kódu a klasickými unit testy se nachází property-based testing. Honza Břešťan vám ukáže, jaké výhody má testovaní vlastností a invariantů oproti klasickému testování příkladů, jak se liší návrh samotných testů, na co si dát pozor a jak si to vyzkoušet v F# pomocí kombinace knihoven FsCheck, xUnit a Unquote.
Na sraz se prosím registrujte na
https://www.meetup.com/FSharping/events/240106640/
Místo konání: Praha - Pracovna
Vlkova 36, Praha 3 – Žižkov