Home >  Term: sistema de verificación automatizada
sistema de verificación automatizada

(1) Una herramienta de software que acepta como entrada un programa informático y una representación de su especificación y produce, posiblemente con ayuda humana, una prueba o refutación de la exactitud de la program.~(2) cualquier herramienta de software que automatiza la parte o la totalidad del proceso de verificación.

0 0

Penulis

  • Ashley2003
  • (Bilbao, Spain)

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