计算机术语“automated verification tools”的中英文意思、释义、翻译及用法-计算机英汉双解词典

网站首页词典首页

术语	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. 在软件工程中,一类用于评估软件开发过程中的产品的软件工具。这些工具有助于验证正确性、完成性、一致性、可跟踪性、可测试性、以及检查是否遵守了标准。软件验证工具包括设计分析程序、自动验证系统、静态分析程序、动态分析程序和标准实施程序。
随便看	programmable array logic (PAL) programmable calculator (PROCAL) programmable clock programmable concentrator programmable controller (PC) programmable counter programmable data control unit programmable electronic terminal phones programmable frequency synthesizer programmable function key programmable gain programmable interval timer programmable logic array (PLA) programmable memory programmable pointofsale terminal programmable readonly memory (PROM) programmable remote display terminal programmable storage programmable terminal (PT) programmable work station program maintenance program maintenance procedures program management program management control table (PMCT) programmatics

计算机英汉双解词典包含21137条计算机术语英汉翻译词条，基本涵盖了全部常用计算机术语的翻译及用法，是计算机学习及翻译工作的有利工具。