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

术语	automated verification system
释义	automated verification system 自动验证系统 In software engineering, a software tool that accepts as input a computer program and a representationof its specification, and produces, possibly with human help, a correctness proof or disproof of the program. 软件工程中的一种软件工具,它以计算机程序及其规格的表示作为输入,并(可能借助人的帮助)产生该程序的正确性证明或反驳。参阅automated verification tools。
随便看	mean information content mean information content (per character) mean rate accuracy mean repair time mean time between errors (MTBE) mean time between failure (MTBF) mean time to failure (MTF) mean time to repair (MTTR) mean transinformation mean transinformation content mean transinformation content per character measure measured variable measurement measurement error measure of information mechanical dictionary mechanical interface mechanical translation mechanotronics media media codes media conversion media drive media drive selector

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