Символьное выполнение
Список продуктов
Данный раздел/документ содержится в продуктах:
Данный раздел/документ содержится в продуктах:
- Техэксперт: Нормы, правила, стандарты и законодательство России
- Техэксперт: Нефтегазовый комплекс
- Техэксперт: Машиностроительный комплекс
СИМВОЛЬНОЕ ВЫПОЛНЕНИЕ
En symbolic execution
Процесс, позволяющий анализировать работу программного обеспечения путем эмуляции выполнения всей программы или ее части, проводящейся с использованием символов для входных данных (например, с использованием переменных, а не их действительных значений).
"ГОСТ 33707-2016 (ISO/IEC 2382:2015) Информационные технологии. Словарь" от 22.09.2016 г.
