база данных для хранения утверждений, база данных для утверждений (в экспертных системах)
English-Russian Modern Computing dictionary
assertion box
вводящий блок (на блок-схеме программы)
English-Russian Modern Computing dictionary
assertion checker
программа верификации, верификатор условий, блок проверки утверждений, ревизор утверждений Программная или аппаратная система, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
English-Russian Modern Computing dictionary
assertion operator
оператор контроля Оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. Оператор контроля обрабатывается статически при трансляции или верификации, или динамически вызывая особую ситуацию во время работы программы.
English-Russian Modern Computing dictionary
assert statement
оператор контроля Оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. Оператор контроля обрабатывается статически при трансляции или верификации, или динамически вызывая особую ситуацию во время работы программы.
English-Russian Modern Computing dictionary
final assertion
конечное утверждение
English-Russian Modern Computing dictionary
global assertion
глобальное утверждение (содержащееся среди описателей программы)
English-Russian Modern Computing dictionary
initial assertion
начальное утверждение
English-Russian Modern Computing dictionary
local assertion
локальное утверждение (содержащееся в теле программы)