?自动验证系统
... 一种软件工具，它以计算机程序和准则作为输入，产生满足这些准则要求的测试输入数据，有时还确定预期的结果。 u 2.39 自动验证系统 automated verification system 2.40 自动验证工具 automated verification tools ...
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。