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