自动验证工具

自动验证工具（automated verification tool）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。用于验证计算机软件的正确性、完全性、一致性、可跟踪性、可测试性等特性或者检查软件是否遵守相关标准的自动化软件工具。