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