1. оператор контроля Оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. Оператор контроля обрабатывается статически при трансляции или верификации, или динамически вызывая особую ситуацию во время работы программы. Предикат; условие; предложение языка программирования; логическое выражение, которое предполагается истинным.
Phrases with assertion
assertion box вводящий блок (на блок-схеме программы)
assertion checker программа верификации, верификатор условий, блок проверки утверждений, ревизор утверждений Программная или аппаратная система, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
assertion operator оператор контроля Оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. Оператор контроля обрабатывается статически при трансляции или верификации, или динамически вызывая особую ситуацию во время работы программы.
final assertion конечное утверждение
global assertion глобальное утверждение (содержащееся среди описателей программы)
initial assertion начальное утверждение
local assertion локальное утверждение (содержащееся в теле программы)