TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

CORRECTION TOTALE [2 records]

Record 1 2011-09-01

English

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.

French

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.

Spanish

Save record 1

Record 2 2008-04-28

English

Subject field(s)
  • Air Defence

French

Domaine(s)
  • Défense aérienne

Spanish

Save record 2

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: