| 术语 | automated verification tools |
| 释义 | automated verification tools 自动验证工具 In software engineering, 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, automated verification systems, static analyzers, dynamic analyzers, and standards enforcers. 在软件工程中,一类用于评估软件开发过程中的产品的软件工具。这些工具有助于验证 正确性、完成性、一致性、可跟踪性、可测试性、以及检查是否遵守了标准。软件验证工 具包括设计分析程序、自动验证系统、静态分析程序、动态分析程序和标准实施程序。 |
| 随便看 |
|
计算机英汉双解词典包含21137条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。