[ITS] IT terministandardi sõnastik

[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