Home > Term: automatizuota patikrinimo sistema
automatizuota patikrinimo sistema
(1) Programinės įrangos įrankis, kuris priima kaip įvesties kompiuterio programą ir jos specifikaciją ir gamina, galbūt su žmogaus žinyno, įrodymus ar disproof į program.~(2) Teisingumo vaizdas bet programinę priemonę, kuri automatizuoja dalis arba visi patikros procesą.
- ส่วนหนึ่งของคำพูด: noun
- อุตสาหกรรม/ขอบเขต: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
ผู้สร้าง
- Paulius
- 100% positive feedback
(Vilnius, Lithuania)