TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

CORRECTION TOTALE [2 fiches]

Fiche 1 2011-09-01

Anglais

Subject field(s)
  • Testing and Debugging
  • Computer Programs and Programming
DEF

An indication that a program's output assertions follow logically from its input assertions, and that the program terminates under all specified input conditions.

OBS

total correctness: Term standardized by ISO/IEC and by IEEE.

Français

Domaine(s)
  • Test et débogage
  • Programmes et programmation (Informatique)
DEF

Dans la preuve d'exactitude, expression indiquant que les assertions de sortie d'un programme découlent logiquement des assertions d'entrée et des étapes du traitement et, en outre, que l'exécution du programme se termine conformément à toutes les conditions d'entrée spécifiées.

OBS

Antonyme d'exactitude partielle.

OBS

exactitude complète; correction globale : Termes normalisés par l'ISO/CEI.

Espagnol

Conserver la fiche 1

Fiche 2 2008-04-28

Anglais

Subject field(s)
  • Air Defence

Français

Domaine(s)
  • Défense aérienne

Espagnol

Conserver la fiche 2

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :