Ўзбекистон республикаси ахборот технологиялари ва коммуникацияларини ривожлантириш вазирлиги муҳаммад ал-хоразмий номидаги

 
3.
 
Проверка контрольной суммы записи 
a.
 
Проверка контрольной суммы 
Процедура должна вычислять по заданному алгоритму CRC32 
контрольную сумму записи Rec_Mess. Возвращаемое процедурой значение 
должно быть равно TRUE, если подсчитанное значение равно нулю. При не 
нулевом значении, подсчитанной контрольной суммы, должно возвращаться 
значение FALSE. 
b.
 
Установка значения переменной Empty 
Если все байты полей записи, включая значение CRC поля, имеют 
нулевое значение (код 00000000B), то значение переменной Empty должно 
быть установлено в TRUE. 
Ели хотя бы один байт записи не нулевой, то значение переменной
Empty должно быть установлено в FALSE. 
Начальный этап работы тестировщика заключается в формировании тест-требований, 
соответствующих функциональным требованиям. Основная цель тест-требований – 
определить, какая функциональность системы должна быть протестирована. В самом 
простом случае одному функциональному требованию соответствует одно тест-требование. 
Однако чаще всего тест-требования детализируют формулировки функциональных 
требований. 
Тест-требования определяют, что должно быть протестировано, но не определяют, как 
это должно быть сделано. Например, для перечисленных выше функциональных требований 
можно сформулировать следующие тест-требования: 
Тест-требования 

---

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