Quali sono le caratteristiche che deve presentare un caso di test?

- eseguire il comando che contiene l’anomalia – non è altrimenti possibile che il malfunzionamento si manifesti; - l’esecuzione del comando che contiene l’anomalia deve portare il sistema in uno stato scorretto, o per meglio dire inconsistente; - lo stato inconsistente deve propagarsi fino all’uscita del codice in esame in modo da produrre un output diverso da quello atteso;