自動驗證工具

自動驗證工具（automated verification tool）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。

基本介紹

• 中文名：自動驗證工具
• 外文名：automated verification tool
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

用於驗證計算機軟體的正確性、完全性、一致性、可跟蹤性、可測試性等特性或者檢查軟體是否遵守相關標準的自動化軟體工具。

出處

《計算機科學技術名詞 》第三版。