Exactitude

Qu'est-ce que l'exactitude?

L'exactitude du point de vue du génie logiciel peut être définie comme le respect des spécifications qui déterminent comment les utilisateurs peuvent interagir avec le logiciel et comment le logiciel doit se comporter lorsqu'il est utilisé correctement.

Si le logiciel ne se comporte pas correctement, cela peut prendre un temps considérable pour accomplir la tâche ou parfois il est impossible de l'accomplir.

Règles importantes:

Voici quelques-unes des règles importantes pour une programmation efficace qui sont les conséquences de la théorie de l'exactitude des programmes.

• Définir complètement le problème.

• Développez l'algorithme puis la logique du programme.

• Réutilisez autant que possible les modèles éprouvés.

• Prouvez l'exactitude des algorithmes pendant la phase de conception.

• Les développeurs doivent prêter attention à la clarté et à la simplicité de votre programme.

• Vérifier chaque partie d'un programme dès son élaboration.