TERMIUM Plus®

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

PREUVE CORRECTION [3 fiches]

Filtrer les résultats par domaine Liste alphabétique des termes

Filtrer les résultats par domaine

Liste alphabétique des termes

Fiche 1 2011-10-19

Anglais

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

A formal mathematic demonstration that the semantics of a program are consistent with the specifications of that program.

OBS

See also: partial correctness, total correctness.

OBS

proof of correctness: standardized by IEEE; correctness proving: Term and definition standardized by ISO/IEC.

Français

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

Démonstration mathématique formelle pour démontrer que la sémantique d'un programme est conforme aux spécifications de ce programme.

OBS

Voir également : exactitude partielle, exactitude totale.

OBS

démonstration d'exactitude; preuve de correction : Termes et définition normalisés par l'ISO/CEI.

Espagnol

Conserver la fiche 1

Fiche 2 - données d’organisme externe 2006-01-30

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
07.07.28 (2382)
numéro d'article de norme ISO/CEI
DEF

proof that results from applying correctness proving

OBS

proof of correctness: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
07.07.28 (2382)
numéro d'article de norme ISO/CEI
DEF

preuve résultant d'une démonstration d'exactitude

OBS

preuve d'exactitude; preuve de correction : termes et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7:2000].

Espagnol

Conserver la fiche 2

Fiche 3 1995-10-12

Anglais

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

A program proof that results from applying the technique used to prove mathematically that a program satisfies its specifications.

OBS

proof of correctness: Term and definition standardized by IEEE and ISO/IEC.

Français

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

Preuve formelle de l'exactitude d'un programme obtenue en appliquant la technique qui consiste à prouver mathématiquement qu'un programme est conforme à ses spécifications.

DEF

Preuve résultant d'une démonstration d'exactitude.

OBS

preuve d'exactitude; preuve de correction : Termes et définition normalisés par l'ISO/CEI.

Espagnol

Conserver la fiche 3

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

Options d’affichage

Changer l'ordre d'affichage des langues officielles du Canada
Affichage des langues non officielles (l'espagnol ou le portugais)
Affichage des définitions, contextes, etc. dans les fiches

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 :