1. оператор контроля Оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. Оператор контроля обрабатывается статически при трансляции или верификации, или динамически вызывая особую ситуацию во время работы программы. 2. утверждение Условие, логическое выражение, которое предполагается истинным.
Phrases with assertion
assertion checker программа верификации, верификатор условий Программа, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях
assertion operator оператор контроля Оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. Оператор контроля обрабатывается статически при трансляции или верификации, или динамически вызывая особую ситуацию во время работы программы.