Terms for subject Programming containing software validation and testing

English	Russian
role of formal verification techniques in the context of software validation and testing	роль методов формальной верификации в контексте проверки соответствия и тестирования ПО (ssn)
software validation and testing	проверка соответствия формальным спецификациям и тестирование программного обеспечения (Alex_Odeychuk)