10.4.2. Детектор VALIDATE

Мы отнесли программу VALIDATE к классу универсальных детекторов. Однако она только лишь вычисляет контрольную сумму предъявленного файла, а сравнение ее с эталоном должен произвести пользователь вручную. Эталоны могут быть указаны в документации на программные продукты, получены с электронной доски объявлений для свободно распространяемых программ или вычислены посредством VALIDATE перед началом эксплуатации ПО. Список эталонных значений контрольных сумм должен храниться пользователем.

С целью повышения надежности VALIDATE реализует два различных алгоритма вычисления Циклического избыточного кода (CRC-кода). Если два полученных кода совпадают с эталонными значениями, то файл может оказаться все-таки измененным лишь примерно в одном из 64 квадрильонов случаев. Такое соотношение дает почти полную уверенность в том, что при совпадении контрольных сумм с эталонами целостность файла не нарушена.

Запуск детектора осуществляется командной строкой вида

VALIDATE file

Здесь file — спецификация файла, контрольные суммы которого требуется вычислить. После завершения выполнения VALIDATE отображает на экране дисплея:

― длину файла в байтах (Size); \ — дату создания файла (Date);

― контрольную сумму, вычисленную по первому методу (Check Methodl);

— контрольную сумму, вычисленную по второму методу (Chech Method 2). Контрольные суммы представляются четырьмя шестнадцатеричными цифрами.

Подсказку по использованию VALIDATE можно получить, запустив его без аргумента.