Informatica per tutti Blog

Information Technology Blog

Errore Logico / Errore Formale

Un errore (nella scrittura di) software (SW)  puo’ appartenere alla categoria degli errori logici oppure a quella degli errori formali.

Un errore si dice logico quando caratterizza la sequenza dei comandi dati nella costruzione dell’algoritmo; per es. nella scrittura del programma per gestire i prelievi da un Conto corrente, invece di comandare la sottrazione dal saldo dell’importo del prelievo effettuato, (per errore) comando la somma al saldo dell’importo del prelievo effettuato. Questo tipo di errore puo’ venire rilevato solo in fase di prova del SW (nell’esempio a fronte di prelievi ,il saldo del conto aumenta!) , comporta un intervento sul programma source (nell’esempio, per sostituire l’istruzione di sottrazione a quella (errata) di somma).

L’errore formale (semantico o sintattico) viene segnalato automaticamente dal programma Traduttore.  Un es., di errore sintattico e’ scrivere “RID” invece di “READ”, per comandare una lettura. A fronte della segnalazione (infatti il traduttore non puo’ creare il relativo programma object), nel nostro esempio verra’ eseguito un intervento per sostituire a “RID” l’istruzione corretta “READ”.