[ITS] IT terministandardi sõnastik


Päring: osas

Leitud 1 artikkel


[et]
07.06.13

sümboltäitmine

Protsess, mis toetab tarkvara analüüsimist kogu programmi või ta osa täitmise simuleerimisega, kasutades sisendandmetena tegelike väärtuste asemel sümboleid, näiteks muutujate nimesid, ning väljendades programmi väljundandmed neid sümboleid sisaldavate loogiliste või matemaatiliste avaldistena.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

[en]
07.06.13

symbolic execution

A process that supports the analysis of software by simulating the execution of all or part of a program, using symbols for input data, such as names of variables, rather than actual values, and expressing program outputs as logical or mathematical expressions involving these symbols.
EVS-ISO/IEC 2382-7:2002 (kehtiv)

Püsilink

10 eelnevat eelnev Vaata ja lisa kommentaare järgnev 10 järgnevat Püsilink: 


© Eesti Keele Instituut    a-ü sõnastike koondleht     veebiliides    @ veebihaldur