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