Home >  Term: sistema di verifica automatica
sistema di verifica automatica

(1) Uno strumento software che accetta come input un programma per computer e una rappresentazione della sua specifica e produce, possibilmente con l'aiuto umano, una prova o menzogna della correttezza del program.~(2) qualsiasi strumento software che consente di automatizzare parte o tutto il processo di verifica.

0 0

Penulis

  • Margherita
  • (Italy)

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