Home >  Term: 自動的驗證系統
自動的驗證系統

(1) 接受作為輸入電腦程式和一個表示其規格和生產,可能具有人類的説明,證明或反證 program.~(2) 的正確性驗證過程的全部或任何部分自動執行的軟體工具的軟體工具。

0 0

ผู้สร้าง

  • Winnie
  • (China)

  •  (V.I.P) 58130 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.