Terms for subject Programming containing verification of specifications

English	Russian
verification of consistency between specification and implementation	проверка реализации на соответствие спецификации (Electronic Design Alex_Odeychuk)
verification of the external system functions as stated in the external specifications	контроль внешнего поведения системы, определённого внешними спецификациями (ssn)