Testarea bazată pe proprietăți cu Proper, Erlang și Elixir: Găsiți bug-uri înaintea utilizatorilor dvs.

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 10 voturi.

Titlul original:

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

Conținutul cărții:

Testarea bazată pe proprietăți vă ajută să creați teste mai bune și mai solide cu puțin cod. Prin utilizarea cadrului PropEr atât în Erlang, cât și în Elixir, această carte vă învață cum să generați automat cazuri de testare, să testați programe cu stare și să schimbați modul în care vă proiectați software-ul pentru abordări mai bazate pe principii și mai fiabile. Veți putea să explorați mai bine spațiul problematic, să validați ipotezele pe care le faceți atunci când veniți cu comportamentul programului și să expuneți slăbiciunile neașteptate din designul dvs. PropEr vă va arăta chiar cum să reproduceți bug-urile pe care le-a găsit. Cu această carte, veți scrie teste eficiente bazate pe proprietăți în cel mai scurt timp.

Majoritatea testelor demonstrează doar că codul se comportă așa cum se aștepta dezvoltatorul să se comporte și, prin urmare, au aceleași puncte moarte ca și autorii lor atunci când apar condiții speciale sau cazuri limită. Aflați cum să vedeți lucrurile diferit cu testele de proprietăți scrise în PropEr.

Începeți cu elementele de bază ale testelor de proprietăți, cum ar fi scrierea de proprietăți fără statel și utilizarea generatoarelor implicite pentru a genera automat cazuri de testare. Mai important, învățați cum să gândiți în proprietăți. Îmbunătățiți-vă proprietățile, scrieți generatoare de date personalizate și descoperiți ce poate sau nu poate face codul dumneavoastră. Învățați când să utilizați testele de proprietăți și când să rămâneți la testele de exemplu cu proiecte de exemplu din lumea reală. Explorați diverse abordări de testare pentru a o găsi pe cea mai potrivită pentru codul dumneavoastră. Reduceți cazurile de testare care eșuează la expresia lor mai simplă pentru a evidenția exact ce se întrerupe în codul dvs. și pentru a genera date extrem de relevante prin intermediul proprietăților vizate. Descoperiți cele mai dificile erori la care vă puteți gândi cu aproape niciun cod, cu două tipuri speciale de proprietăți bazate pe tranziții de stare și mașini cu stare finită.

Scrieți proprietăți Erlang și Elixir care generează cele mai eficiente teste pe care le veți vedea, indiferent dacă acestea sunt teste unitare sau teste complexe de integrare și de sistem.

Ce vă trebuie

⬤ Cunoștințe de bază de Erlang, opțional Elixir.

⬤ Pentru testele Erlang: Erlang/OTP >= 20. 0, cu Rebar >= 3. 4. 0.

⬤ Pentru testele Elixir: Erlang/OTP >= 20. 0, Elixir >= 1. 5. 0.