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

Неверные данные 
При проверке поведения системы необходимо не забывать проверять ее поведение при 
передаче ей данных, не предусмотренных требованиями – слишком длинных или слишком 
коротких строк, неверных символов, чисел за пределами вычислимого диапазона и т.п. 
Неверные данные, как и допустимые, также можно разделять на различные классы 
эквивалентности. Примером неверных данных для функции Set_CRC может служить запись 
с другой структурой, переданная в функцию через приведение типов. Если расчет 
контрольной суммы использует имена полей записи, то контрольная сумма может оказаться 
вычисленной неверно или может произойти перезапись областей памяти, не 
предназначенных для хранения данных. 
struct record_type2 
{ 
int F; 
int G[45]; 
int H[8]; 
unsigned int CRC; 
int K[2]; 
} 
record_type2
test_value6; 
Set_CRC((record_type)test_value6);
printf(“%d\n”, test_value6.CRC); 

Устойчивость системы 
Под устойчивостью системы можно понимать ее способность выдерживать нештатную 
нагрузку, явно не предусмотренную требованиями. Например, сохранит ли система 
работоспособность после 10 тысяч вызовов. Для функции Set_CRC можно реализовать 
следующий тестовый пример: 
record_type test_value8; 
int
i; 
test_value8.A
= false; 
for (i=0;i<20;i++) 
test_value8.B[i] 
= i; 
for (i=0;i<5;i++) 
test_value8.C[i] 
= i+5; 
test_value8.D[0] 
= i+8; 
test_value8.CRC 
= 0; 
for (i=0;i<10000;i++) 
Set_CRC(test_value8); 
printf(“%d\n”, test_value1.CRC); 
Аналогичный анализ может быть сделан путем просмотра текста программы (если он 
доступен при тестировании) на основании отсутствия «истории» (хранимых данных) в 
реализации программы, т.е. данных, значение которых может меняться в зависимости от 
количества запусков программы. Таким образом, в ряде случаем тестирование может быть 
заменено анализом программного кода (более подробно – см. тему 5).