Англо-русский перевод ASSERTION

ASSERTION

формальное утверждение, описывающее семантические свойства элементов программного обеспечения; используется в выражающих их соглашениях ( contract ); precondition , postcondition , class invariant , loop invariant

Драгальчук Е.. English-Russian dictionary of computer terms.      Англо-Русский словарь компьютерных терминов.