assertion checker Программная или аппаратная система, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
Russian-English Modern Computing dictionary
глобальное утверждение
global assertion (содержащееся среди описателей программы)