Exatidão

O que é correção?

A exatidão da perspectiva da engenharia de software pode ser definida como a aderência às especificações que determinam como os usuários podem interagir com o software e como o software deve se comportar quando usado corretamente.

Se o software se comportar incorretamente, pode levar um tempo considerável para realizar a tarefa ou às vezes é impossível realizá-la.

Regras importantes:

Abaixo estão algumas das regras importantes para uma programação eficaz, que são consequências da teoria da correção do programa.

• Definindo o problema completamente.

• Desenvolva o algoritmo e, em seguida, a lógica do programa.

• Reutilize os modelos comprovados tanto quanto possível.

• Prove a exatidão dos algoritmos durante a fase de design.

• Os desenvolvedores devem prestar atenção à clareza e simplicidade de seu programa.

• Verificar cada parte de um programa assim que ele é desenvolvido.