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.