Correttezza
Cos'è la correttezza?
La correttezza dal punto di vista dell'ingegneria del software può essere definita come l'aderenza alle specifiche che determinano come gli utenti possono interagire con il software e come il software dovrebbe comportarsi quando viene utilizzato correttamente.
Se il software si comporta in modo errato, potrebbe essere necessario molto tempo per portare a termine l'attività o talvolta è impossibile ottenerla.
Regole importanti:
Di seguito sono riportate alcune delle regole importanti per una programmazione efficace che sono conseguenze della teoria della correttezza del programma.
Definire completamente il problema.
Sviluppa l'algoritmo e poi la logica del programma.
Riutilizza il più possibile i modelli provati.
Dimostrare la correttezza degli algoritmi durante la fase di progettazione.
Gli sviluppatori dovrebbero prestare attenzione alla chiarezza e alla semplicità del tuo programma.
Verifica di ogni parte di un programma non appena viene sviluppato.