Test di proprietà stateful con PropEr in Erlang ed Elixir

Impara a eseguire test basati su proprietà stateful e potrai generare automaticamente centinaia di scenari per trovare casi limite nascosti e condizioni di competizione nel tuo codice. Questo corso basato su testo ti guida attraverso la modellazione di sistemi stateful, la scrittura di generatori personalizzati e l'integrazione della convalida del database. Attraverso chiare spiegazioni scritte e modelli di codice strutturati, imparerai a pensare in proprietà piuttosto che in singoli casi di test.Impara a creare modelli robusti e auto-testanti che verificano il comportamento del sistema rispetto a un database SQL persistente. Cosa imparerai: - Comprendere i principi fondamentali dei test basati su proprietà stateful e in che modo si differenziano dai test stateless - Modellare stati e transizioni di sistemi complessi utilizzando comandi simbolici e macchine di stato - Scrivere generatori personalizzati in PropEr per generare sequenze di operazioni valide e non valide - Esegui il debug dei casi di test falliti utilizzando la riduzione per trovare la sequenza esatta che causa un errore - Integrare la convalida dello stato del database per garantire che l'applicazione corrisponda allo stato del modello - Applicare moderni modelli di test per gestire in modo sicuro le transizioni di stato concorrenti Il corso inizia con i concetti fondamentali di test basati sulle proprietà e modellazione delle macchine di stato prima di guidarti attraverso la costruzione passo-passo di un modello di sistema di libreria, completo di transizioni di stato, comandi e post-condizioni. È progettato per sviluppatori di software e ingegneri QA che già comprendono i concetti di programmazione di base in Erlang o Elixir e desiderano adottare metodologie di test avanzate.Non è richiesta alcuna esperienza precedente con il test basato sulle proprietà.