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

Empty
устанавливается при каждом 
вызове функции 
Set_CRC
в зависимости от значений полей записи, как 
определено в секции 2b функциональных требований.
3.
 
Проверка процедуры Check_CRC 
a.
Проверить, что при обращении к процедуре 
Check_CRC
вычисление 
контрольной суммы производится по правилам алгоритма CRC32, как 
определено в секции 3a функциональных требований. 
b.
Проверить, что возвращаемое значение равно TRUE если конитрольная 
сумма проверяемой записи правильная и FALSE в противном случае. 
c.
Проверить, что проверка правильности значения контрольной суммы не 
зависит от значений байт выравнивания полей записи. 
d.
Проверить, что значение переменной 
Empty
устанавливается при каждом 
вызове функции 
Check_CRC
в зависимости от значений полей записи, 
как определено в секции 3b функциональных требований.
Особенности реализации тестового окружение и конкретные значения, подаваемые на 
вход системы и ожидаемые на ее выходе определяются тестовыми примерами. Одному тест-
требованию соответствует как минимум один тестовый пример. 
1.12.2. Типы тестовых примеров 
Рассмотрим различные классы тестовых примеров, направленные на выявление 
различных дефектов в работе программной системы. 

Допустимые данные 
Чаще всего дефекты в программных системах проявляются при обработке 
нестандартных данных, не предусмотренных требованиями – при вводе неверных символов, 
пустых строк, слишком большой скорости ввода информации. Однако, перед поиском таких 
дефектов необходимо удостовериться в том, что программа корректно обрабатывает верные 
данные, предусмотренные спецификацией, т.е. проверить работу основных алгоритмов. Так, 
для функции вычисления контрольной суммы допустимыми входными данными будет 
произвольная запись, содержащая данные во всех полях, кроме поля контрольной суммы 
CRC. 
record_type
test_value1; 
int
i; 
test_value1.A
= false; 
for (i=0;i<20;i++) 
test_value1.B[i] = i; 
for (i=0;i<5;i++) 
test_value1.C[i] = i+5; 
test_value1.D[0]
= i+8; 
test_value1.CRC
= 0; 
Set_CRC(test_value1); 
printf(“%d\n”, test_value1.CRC); 

---

99 
Сценарием будет вызов функции Set_CRC, а ожидаемым выходным значением – 
корректное значение поля CRC, рассчитанное по алгоритму CRC32. 
Обычно для проверки допустимых данных достаточно одного тестового примера. Но 
функциональные требования могут определять различные группы допустимых данных, 
которые могут объединяться в классы эквивалентности. В этом случае необходимо 
определять как минимум один тестовый пример для одного класса эквивалентности. Более 
подробно речь о классах эквивалентности пойдет далее. 
