Testowanie oparte na właściwościach w Erlang z PropEr

Tradycyjne testy jednostkowe często pomijają krytyczne przypadki brzegowe, ponieważ oceniają tylko konkretne scenariusze, które napiszesz. Testowanie oparte na właściwościach zmienia to, automatycznie generując szeroki zakres danych wejściowych testowych na podstawie właściwości, które Twój kod musi spełniać. Ten kurs wprowadza w koncepcje i wykonywanie testów opartych na właściwościach w Erlang przy użyciu PropEr. Przejdziesz od pisania ręcznych asercji do definiowania właściwości wysokiego poziomu, które zawsze muszą być prawdziwe, pozwalając frameworkowi testowemu wykonać ciężką pracę związaną z wyszukiwaniem błędów. Naucz się pisać niestandardowe generatory, pomniejszać nieudane przypadki testowe do ich najprostszych form i integrować nowoczesne praktyki testowania z przepływem pracy programistycznej. Czego się nauczysz: - Zrozum podstawowe różnice między tradycyjnym testowaniem jednostkowym a testowaniem opartym na właściwościach - Zdefiniuj właściwości matematyczne i logiczne opisujące poprawne zachowanie systemu - Skonstruuj niestandardowe generatory danych przy użyciu PropEr do testowania złożonych struktur i typów - Zastosuj pomniejszanie przypadków testowych, aby szybko wyizolować główną przyczynę awarii - Zintegruj techniki testowania opartego na właściwościach stanowych dla złożonych systemów - Zaprojektuj swoje zestawy testowe Erlang tak, aby działały wydajnie w nowoczesnych potokach programistycznych Ten kurs zaczyna się od podstawowych koncepcji, definiując, czym jest właściwość i jak działa framework PropEr, zanim przeprowadzi Cię przez pisane, praktyczne przykłady tworzenia generatorów i wykonywania testów. Jest przeznaczony dla deweloperów oprogramowania i inżynierów QA, którzy znają podstawową składnię Erlang i chcą podnieść swoje standardy testowania. Wcześniejsze doświadczenie z testowaniem opartym na właściwościach nie jest wymagane. Zacznij czytać, aby już dziś budować wysoce odporne systemy.