Terms for subject Programming containing functional verification

English	Russian
functional correctness verification	верификация функциональной корректности (ssn)
functional equivalence verification	верификация функциональной эквивалентности (ssn)
measures verification activity with respect to items in the high-level functional or macroarchitecture definition	мероприятия по проверке высокоуровневых функционалов и макроархитектурных определений (ssn)