英语 ⇄ 俄语 +

formal theory of testing 强调
编程	формальная теория тестирования (в программировании ssn)