оператор контроля. оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. оператор контроля обрабатывается статически при трансляции (translation) или верификации (verification), или динамически вызывая особую ситуацию (exception) во время работы программы
ASSERT STATEMENT
Англо-русский перевод ASSERT STATEMENT
English-Russian dictionary. Англо-Русский словарь. 2012