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
- อุตสาหกรรม/ขอบเขต: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
ผู้สร้าง
- CIbanescu
-
(V.I.P) 54244 points - 100% positive feedback
(Bucharest, Romania)
