الصفحة الرئيسية > 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 engineering
- Organization: IEEE Computer Society
0
المنشئ
- CIbanescu
-
(V.I.P) 54244 النقاط - 100% positive feedback
(Bucharest, Romania)
