Testovanie založené na vlastnostiach pomocou programov Proper, Erlang a Elixir: Nájdite chyby skôr, ako ich nájdu vaši používatelia

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 10 hlasoch.

Pôvodný názov:

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

Obsah knihy:

Testovanie založené na vlastnostiach vám pomôže vytvoriť lepšie a spoľahlivejšie testy s malým množstvom kódu. Pomocou frameworku PropEr v jazykoch Erlang aj Elixir vás táto kniha naučí, ako automaticky generovať testovacie prípady, testovať stavové programy a zmeniť spôsob navrhovania softvéru na principiálnejšie a spoľahlivejšie prístupy. Budete môcť lepšie preskúmať problémový priestor, overiť predpoklady, ktoré ste urobili pri vymýšľaní správania programu, a odhaliť neočakávané slabiny vo vašom návrhu. PropEr vám dokonca ukáže, ako reprodukovať nájdené chyby. S touto knihou budete v okamihu písať efektívne testy založené na vlastnostiach.

Väčšina testov iba demonštruje, že kód sa správa tak, ako vývojár očakával, že sa bude správať, a preto nesú rovnaké slepé miesta ako ich autori, keď sa objavia špeciálne podmienky alebo okrajové prípady. Naučte sa vidieť veci inak pomocou testov vlastností napísaných v jazyku PropEr.

Začnite so základmi testov vlastností, ako je zápis bezstavových vlastností a používanie predvolených generátorov na automatické generovanie testovacích prípadov. Čo je však dôležitejšie, naučte sa myslieť vo vlastnostiach. Vylepšite svoje vlastnosti, napíšte vlastné generátory údajov a zistite, čo váš kód dokáže alebo nedokáže. Naučte sa, kedy použiť testy vlastností a kedy zostať pri príkladových testoch s reálnymi vzorovými projektmi. Preskúmajte rôzne prístupy k testovaniu a nájdite ten, ktorý je pre váš kód najlepší. Zmenšite zlyhávajúce testovacie prípady na ich jednoduchšie vyjadrenie, aby ste presne poukázali na to, čo sa vo vašom kóde pokazí, a generujte vysoko relevantné údaje prostredníctvom cielených vlastností. Odhaľte najzložitejšie chyby, na ktoré si spomeniete, takmer bez kódu pomocou dvoch špeciálnych typov vlastností založených na stavových prechodoch a konečných stavových strojoch.

Píšte vlastnosti Erlang a Elixir, ktoré generujú najefektívnejšie testy, aké uvidíte, či už ide o jednotkové testy alebo komplexné integračné a systémové testy.

Čo potrebujete

⬤ Základné znalosti jazyka Erlang, prípadne Elixir.

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

⬤ Pre testy Elixir: Erlang/OTP >= 20. 0, Elixir >= 1. 5. 0.