Home > Term: sistemul de verificare automată
sistemul de verificare automată
(1) Un instrument software care acceptă ca intrare unui program pentru calculator şi o reprezentare a sa caietul de sarcini și produce, eventual cu ajutorul umane, dovada sau disproof de corectitudinea program.~(2) orice instrument software care automatizează parte sau toate procesul de verificare.
- Part of Speech: noun
- Industry/Domain: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Creator
- CIbanescu
-
(V.I.P) 54244 points - 100% positive feedback
(Bucharest, Romania)
