Чекер — инструмент проверки данных и состояний¶

Чекер (от англ. checker — «проверяющий») — программа или устройство, выполняющее проверку данных, состояний, условий или свойств объекта на соответствие заданным критериям. Термин применяется в информатике, электронике, игровой индустрии и спорте, при этом в каждом контексте подразумевается сущность, основная функция которой — сверка и контроль.

¶В программировании

В программной инженерии чекер — это программа или модуль, автоматически проверяющий корректность данных, результатов или состояния системы. Выделяют несколько основных направлений:

• Чекеры в тестировании программного обеспечения — утилиты, сопоставляющие фактический вывод программы с ожидаемым эталоном. Пример — утилита diff в Unix, сравнивающая два файла и сообщающая о различиях; она же используется в скриптах автоматического тестирования.
• Чекеры состояний — компоненты, отслеживающие состояние объекта или процесса и сигнализирующие о нарушении инвариантов. В системах реального времени чекеры входят в состав механизмов мониторинга и самодиагностики.
• Чекеры данных — модули валидации, проверяющие входные данные на соответствие схеме, формату или бизнес-правилам. В веб-разработке валидаторы форм, проверяющие корректность email, номера телефона или пароля, выполняют роль чекеров.
• Чекеры в распределённых системах — компоненты, участвующие в протоколах консенсуса и проверяющие корректность сообщений, передаваемых между узлами.

В языках программирования с динамической типизацией, например Python, встроенный механизм проверки типов во время выполнения также неформально называют чекером.

¶В электронике и аппаратном обеспечении

В области вычислительной техники чекер — это аппаратный или программно-аппаратный модуль контроля корректности работы оборудования. Наиболее известный пример — ECC-чекер (Error Checking and Correction), реализующий коррекцию одиночных ошибок и обнаружение двойных в памяти. Контрольные чекеры применяются в серверах, где отказ памяти недопустим.

В схемотехнике чекером называют устройство, проверяющее логическое состояние сигнала или узла: например, тестеры, контролирующие уровень напряжения на шине и формирующие сигнал об ошибке при выходе за допустимые пределы.

¶В игровой индустрии

В компьютерных играх и программном обеспечении чекер — утилита, проверяющая целостность файлов игры или сохранений. Клиенты цифровых платформ, например Steam, содержат встроенный чекер, который сверяет контрольные суммы файлов локальной установки с эталонными значениями на сервере и при обнаружении повреждений запускает повторную загрузку.

В контексте античит-систем чекер — модуль, обнаруживающий запрещённые модификации, сторонние процессы или манипуляции с памятью игры. Такие чекеры работают на стороне клиента или сервера и блокируют пользователя при срабатывании.

В шахматах и настольных играх с компьютером чекером иногда называют программу, проверяющую легальность хода и корректность позиции.

¶В спорте

В американском футболе роль чекера выполняет судья, чья задача — наблюдать за определённой зоной поля и фиксировать нарушения, например офсайд или пассивный захват. В боксе и единоборствах чекером может называться судья, контролирующий состояние бойца и разрешающий продолжение поединка.

¶В криптографии и безопасности

В контексте цифровых подписей и хеш-функций чекер — программа, проверяющая подлинность подписи или целостность сообщения по контрольной сумме. Утилиты проверки цифровых подписей пакетов в операционных системах Linux, например rpm --checksig, выполняют роль чекеров.

¶Смежные понятия

С термином «чекер» тесно связаны понятия «валидатор» (проверяющий данные по формальным правилам), «ассершн» (утверждение в коде, останавливающее программу при невыполнении условия) и «монитор» (непрерывно отслеживающий состояние). Разница между ними часто стёрта, и выбор термина зависит от контекста.

¶Примечания

Термин «чекер» не имеет единого формального определения и трактуется по-разному в зависимости от предметной области. Общим для всех значений является функция сверки текущего состояния или данных с эталоном и сообщение о расхождении.

¶Источники

• Робертс, Я. «Словарь компьютерных терминов»
• Таненбаум Э., Бос Х. «Современные операционные системы»
• IEEE Standard Glossary of Software Engineering Terminology