Верификация программы (program verification) — исполнение программы выполнения задания с целью устранения возможных ошибок, подтверждения правильности маршрута робота и показателей процесса исполнения.
Примечание — Верификация программы может включать отработку всего маршрута прохождения центральной точки инструмента при исполнении программы выполнения задания или некоторого сегмента данного маршрута. Команды могут выполняться по одной или непрерывной последовательностью. Верификация программы используется в новых прикладных задачах и при точной настройке или редактировании существующих задач.
[ГОСТ Р 60.0.0.4-2019/ИСО 8373:2012. Роботы и робототехнические устройства. Термины и определения]
Верификация программы (Program verification) — доказательство того, что поведение программы соответствует спецификации на эту программу.
[ГОСТ 19781-90. Обеспечение систем обработки информации программное. Термины и определения]
[Термины и определения в программировании. (Электронный ресурс). Режим доступа: http:// ext.spb.ru›Электронный журнал Экстернат.РФ›…/3763-2013-10-26-11-46 /, свободный.]