Testowanie oparte na właściwościach za pomocą Proper, Erlang i Elixir: Znajdź błędy, zanim zrobią to użytkownicy

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 10 głosach.

Oryginalny tytuł:

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

Zawartość książki:

Testowanie oparte na właściwościach pomaga tworzyć lepsze, solidniejsze testy przy użyciu niewielkiej ilości kodu. Korzystając z frameworka PropEr zarówno w Erlangu, jak i Elixirze, książka ta uczy, jak automatycznie generować przypadki testowe, testować programy stanowe i zmieniać sposób projektowania oprogramowania na bardziej pryncypialne i niezawodne podejścia. Będziesz w stanie lepiej zbadać przestrzeń problemową, zweryfikować założenia, które przyjmujesz podczas wymyślania zachowania programu i ujawnić nieoczekiwane słabości swojego projektu. PropEr pokaże ci nawet, jak odtworzyć znalezione błędy. Dzięki tej książce będziesz w stanie pisać wydajne testy oparte na właściwościach w mgnieniu oka.

Większość testów pokazuje jedynie, że kod zachowuje się tak, jak oczekiwał tego programista, a zatem ma te same martwe punkty, co ich autorzy, gdy pojawiają się specjalne warunki lub przypadki brzegowe. Dowiedz się, jak spojrzeć na sprawy inaczej dzięki testom właściwości napisanym w PropEr.

Zacznij od podstaw testów właściwości, takich jak pisanie właściwości bezstanowych i używanie domyślnych generatorów do automatycznego generowania przypadków testowych. Co ważniejsze, naucz się myśleć we właściwościach. Ulepszaj swoje właściwości, pisz niestandardowe generatory danych i odkrywaj, co twój kod może, a czego nie może zrobić. Dowiedz się, kiedy używać testów właściwości, a kiedy pozostać przy testach przykładowych, korzystając z rzeczywistych przykładowych projektów. Poznaj różne podejścia do testowania, aby znaleźć to, które jest najlepsze dla twojego kodu. Zmniejsz nieudane przypadki testowe do ich prostszego wyrażenia, aby podkreślić dokładnie to, co psuje się w kodzie i wygenerować bardzo istotne dane za pomocą ukierunkowanych właściwości. Odkryj najtrudniejsze błędy, o których możesz pomyśleć, prawie bez żadnego kodu, dzięki dwóm specjalnym typom właściwości opartym na przejściach stanów i skończonych maszynach stanów.

Napisz właściwości Erlang i Elixir, które wygenerują najbardziej efektywne testy, jakie zobaczysz, niezależnie od tego, czy są to testy jednostkowe, czy złożone testy integracyjne i systemowe.

Czego potrzebujesz

⬤ Podstawowa znajomość języka Erlang, opcjonalnie Elixir.

⬤ Dla testów Erlang: Erlang/OTP >= 20. 0, z Rebar >= 3. 4. 0.

⬤ Dla testów Elixir: Erlang/OTP >= 20. 0, Elixir >= 1. 5. 0.