Лучший способ проверить логику CRC?

Question

Как проверить, что две реализации CRC будут генерировать одинаковые контрольные суммы?

Я ищу исчерпывающую методологию оценки реализации, специфичную для CRC.

Answer 1

Вы можете разделить задачу на граничные случаи и случайные выборки.

Краевые чехлы. На входе CRC есть две переменные, число байтов и значение каждого байта. Поэтому создайте массивы 0, 1 и MAX_BYTES со значениями от 0 до MAX_BYTE_VALUE. В крайнем случае вам, скорее всего, захочется оставить пакет JUnit.

Случайные образцы. Используя приведенные выше диапазоны, запустите CRC для случайно сгенерированных массивов байтов в цикле. Чем дольше вы позволяете петле работать, тем больше вы истощаете входы. Если у вас мало вычислительной мощности, рассмотрите возможность развертывания теста на EC2.

Answer 2

Одним приятным свойством CRC является то, что для заданного набора параметров (полином, отражение, начальное состояние и т. Д.) Вы получите постоянное значение при повторном вычислении CRC по исходному набору данных + исходному CRC.Эти константы документированы для общих CRC, но вы можете просто слепо сгенерировать их, используя два разных набора случайных данных, и проверить, что они одинаковы:

implementation 1: crc(rand_data_1 + crc(rand_data_1)) -> constant_1
implementation 2: crc(rand_data_2 + crc(rand_data_2)) -> constant_2
assert constant_1 == constant_2

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

Answer 3

Создайте несколько модульных тестов с одинаковыми входными данными, которые будут сравнивать выходные данные обеих реализаций друг с другом.

Answer 4

Во-первых, если это стандартная реализация CRC, вы сможете найти известные значения где-нибудь в сети.

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

Answer 5

Путем написания модульного теста для каждого, который принимает один и тот же вход и проверяет ожидаемый результат.