Test di asserzioni
Che cos'è il test basato sulle asserzioni?
Un'asserzione è un'espressione booleana in un punto specifico di un programma che sarà vera a meno che non ci sia un bug nel programma. Un'asserzione di test è definita come un'espressione, che incapsula una logica verificabile specificata su un obiettivo sottoposto a test.
Vantaggi delle asserzioni:
Il vantaggio principale di avere asserzioni è identificare i difetti in un programma. L'utilità delle asserzioni include:
Viene utilizzato per rilevare piccoli errori che potrebbero passare inosservati.
Viene utilizzato per rilevare gli errori subito dopo che si sono verificati.
Fai una dichiarazione sugli effetti del codice che è garantito per essere vero.
Limitazioni dell'asserzione
Come ogni altro pezzo di codice, le asserzioni possono contenere errori. Può portare ai seguenti problemi:
Impossibile segnalare un bug che esiste.
Segnalare un errore quando non esiste.
Può portare ad altri effetti collaterali
Può richiedere tempo per l'esecuzione se contiene errori e occupa anche memoria.
In che modo le asserzioni possono bloccare i test?
Se un'affermazione fallisce per uno o per l'altro motivo, la conseguenza della stessa può essere grave. Un'asserzione potrebbe elevarsi a un ostacolo che potrebbe comportare l'interruzione del test per un'intera giornata. Alcune condizioni che desideriamo verificare potrebbero essere concettualmente semplici, ma è molto difficile verificarle nella pratica.