TERMIUM Plus®
From: Translation Bureau
On social media
Consult the Government of Canada’s terminology data bank.
AUTOMATED VERIFICATION TOOL [1 record]
Record 1 - internal organization data 2012-10-03
Record 1, English
Record 1, Subject field(s)
- Testing and Debugging
Record 1, Main entry term, English
- automated verification tool
1, record 1, English, automated%20verification%20tool
correct, standardized
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
A class of software tools used to evaluate products of the software development process. These tools aid in the verification of such characteristics as correctness, completeness, consistency, traceability, testability, and adherence to standards. Examples include design analyzers, and standards enforcers. 1, record 1, English, - automated%20verification%20tool
Record number: 1, Textual support number: 1 OBS
automated verification tool: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE). 2, record 1, English, - automated%20verification%20tool
Record 1, French
Record 1, Domaine(s)
- Test et débogage
Record 1, Main entry term, French
- outil d'aide à la vérification automatisée
1, record 1, French, outil%20d%27aide%20%C3%A0%20la%20v%C3%A9rification%20automatis%C3%A9e
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
- aide à la vérification automatisée 1, record 1, French, aide%20%C3%A0%20la%20v%C3%A9rification%20automatis%C3%A9e
correct, feminine noun
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Catégorie d'outils logiciels utilisés pour évaluer les produits du processus d'élaboration de logiciels. Ces outils contribuent à la vérification de caractéristiques d'exactitude, de complétude, de cohérence, de possibilité de repérage, de testabilité et de conformité aux normes. Les analyseurs de projets, les systèmes automatisés de vérification, les analyseurs statiques, les analyseurs dynamiques et les logiciels de contrôle des normes de développement en sont quelques exemples. 1, record 1, French, - outil%20d%27aide%20%C3%A0%20la%20v%C3%A9rification%20automatis%C3%A9e
Record 1, Spanish
Record 1, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
GCtranslate (available on the Government of Canada network only)
Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.
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: