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.
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- Margherita
- 100% positive feedback
(Italy)