Testing basato sulle proprietà: fondamenti per un software robusto

Questo corso ti fornisce le conoscenze fondamentali dei test basati sulle proprietà, consentendoti di progettare test più intelligenti che esplorano automaticamente una vasta gamma di input e scoprono bug sottili prima che abbiano un impatto sugli utenti. Impara a comprendere i principi fondamentali e i vantaggi dei test basati sulle proprietà rispetto agli approcci basati sugli esempi. Pratica l'identificazione e la definizione di proprietà che esprimono verità fondamentali ed invarianti del tuo codice. Scopri come modellare dati complessi e creare generatori di dati personalizzati per una copertura completa dei test. Il corso inizia con un'esplorazione dei paradigmi di test e progredisce attraverso la definizione di proprietà e invarianti, l'implementazione di varie tecniche di generazione di dati e la strutturazione di test per il massimo impatto. Questo corso è progettato per sviluppatori principianti, ingegneri di assicurazione della qualità e chiunque desideri migliorare le proprie capacità di test, senza alcuna esperienza precedente nei test basati sulle proprietà.