Testování založené na vlastnostech s jazyky Proper, Erlang a Elixir: Najděte chyby dříve, než je najdou uživatelé

Recenze čtenářů

Aktuálně nejsou k dispozici žádné recenze čtenářů. Hodnocení je založeno na 10 hlasů.

Původní název:

Property-Based Testing with Proper, Erlang, and Elixir: Find Bugs Before Your Users Do

Obsah knihy:

Testování založené na vlastnostech vám pomůže vytvořit lepší a spolehlivější testy s malým množstvím kódu. Pomocí frameworku PropEr v jazycích Erlang i Elixir vás tato kniha naučí, jak automaticky generovat testovací případy, testovat stavové programy a změnit způsob navrhování softwaru tak, aby byl zásadnější a spolehlivější. Budete moci lépe prozkoumat problémový prostor, ověřit předpoklady, které jste učinili při vymýšlení chování programu, a odhalit nečekané slabiny svého návrhu. PropEr vám dokonce ukáže, jak reprodukovat nalezené chyby. S touto knihou budete psát efektivní testy založené na vlastnostech během chvilky.

Většina testů pouze demonstruje, že se kód chová tak, jak vývojář očekával, a proto nesou stejná slepá místa jako jejich autoři, když se objeví zvláštní podmínky nebo okrajové případy. Naučte se vidět věci jinak pomocí testů vlastností napsaných v PropEr.

Začněte se základy testů vlastností, jako je zápis bezstavových vlastností a použití výchozích generátorů k automatickému generování testovacích případů. Důležitější je naučit se myslet ve vlastnostech. Vylepšete své vlastnosti, napište vlastní generátory dat a zjistěte, co váš kód umí nebo neumí. Naučte se, kdy použít testy vlastností a kdy zůstat u příkladových testů s reálnými ukázkovými projekty. Prozkoumejte různé přístupy k testování a najděte ten, který je pro váš kód nejlepší. Zmenšete neúspěšné testovací případy na jejich jednodušší vyjádření, abyste přesně zdůraznili, co se ve vašem kódu rozbíjí, a generujte vysoce relevantní data prostřednictvím cílených vlastností. Odhalte ty nejzáludnější chyby, na které si vzpomenete, téměř bez kódu pomocí dvou speciálních typů vlastností založených na stavových přechodech a konečných stavových strojích.

Pište vlastnosti Erlang a Elixir, které generují ty nejefektivnější testy, které uvidíte, ať už se jedná o jednotkové testy nebo komplexní integrační a systémové testy.

Co potřebujete

⬤ Základní znalost jazyka Erlang, případně jazyka Elixir.

⬤ Pro testy Erlang: Erlang/OTP >= 20. 0, s Rebar >= 3. 4. 0.

⬤ Pro testy v jazyce Elixir: Erlang/OTP >= 20. 0, Elixir >= 1. 5. 0.