¿Qué es la corrección?
La corrección desde la perspectiva de la ingeniería de software se puede definir como el cumplimiento de las especificaciones que determinan cómo los usuarios pueden interactuar con el software y cómo debe comportarse el software cuando se usa correctamente.
Si el software se comporta incorrectamente, puede llevar una cantidad considerable de tiempo lograr la tarea o, a veces, es imposible lograrla.
Reglas importantes:
A continuación se presentan algunas de las reglas importantes para una programación eficaz que son consecuencia de la teoría de corrección del programa.
Definiendo el problema por completo.
Desarrolle el algoritmo y luego la lógica del programa.
Reutilice los modelos probados tanto como sea posible.
Demuestre la exactitud de los algoritmos durante la fase de diseño.
Los desarrolladores deben prestar atención a la claridad y simplicidad de su programa.
Verificar cada parte de un programa tan pronto como se desarrolle.