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ą.
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- Paulius
- 100% positive feedback
(Vilnius, Lithuania)