TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

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, fiche 1, Anglais, - 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, fiche 1, Anglais, - automated%20verification%20tool

Fiche 1,  Justifications,  Français

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, fiche 1, Français, - outil%20d%27aide%20%C3%A0%20la%20v%C3%A9rification%20automatis%C3%A9e

Fiche 1,  Justifications,  Espagnol