英语 ⇄ 俄语 +

assertions for correctness 强调
编程	утверждение в целях проверки корректности программного обеспечения (Alex_Odeychuk)