correctesa

f

Electrònica i informàtica

Absència d’errors o de defectes, especialment dels que poden tenir conseqüències negatives en l’execució de programes o de procediments.

Normalment es distingeix entre correctesa parcial , que és l’acord entre el procediment especificat i allò executat, i la correctesa total , que afegeix a l’anterior una prova o garantia d’acabament de l’execució en un temps finit.