Проверка подсчета контрольной суммы

a. Проверить, что в процедуре Set_CRC вычисление контрольной суммы производится по правилам алгоритма CRC32, как определено в секции 2a функциональных требований.

b. Проверить, что вычисленное значение контрольной суммы не зависит от начального значения поля CRC.

c. Проверить, что вычисленное значение контрольной суммы не зависит от значений байт выравнивания полей записи.

d. Проверить, что значение переменной Empty устанавливается при каждом вызове функции Set_CRC в зависимости от значений полей записи, как определено в секции 2b функциональных требований.

Проверка процедуры Check_CRC

a. Проверить, что при обращении к процедуре Check_CRC вычисление контрольной суммы производится по правилам алгоритма CRC32, как определено в секции 3a функциональных требований.

b. Проверить, что возвращаемое значение равно TRUE если конитрольная сумма проверяемой записи правильная и FALSE в противном случае.

c. Проверить, что проверка правильности значения контрольной суммы не зависит от значений байт выравнивания полей записи.

d. Проверить, что значение переменной Empty устанавливается при каждом вызове функции Check_CRC в зависимости от значений полей записи, как определено в секции 3b функциональных требований.

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