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.
- Μέρος του λόγου: noun
- Κλάδος/Τομέας: Υπολογιστές; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Δημιουργός
- CIbanescu
-
(V.I.P) 54244 points - 100% positive feedback
(Bucharest, Romania)
