Page 61 - 4592

 Тестування класів вхідних даних - набір тестів в сукупності

має забезпечити перевірку представника кожного класу
вхідних даних не менше одного разу. при створенні тестів
класи вхідних даних зіставляються з режимами
використання тестованого компонента чи підсистеми

додатки, що помітно скорочує варіанти перебору, що
враховуються при розробці тестових наборів. Слід
зауважити, що, перебираючи відповідно до критерію

величини вхідних змінних (наприклад, різні файли -
джерела вхідних даних), ми змушені застосовувати потужні
тестові набори. Дійсно, поряд з обмеженнями на величини

вхідних даних, існують обмеження на величини вхідних
даних у всіляких комбінаціях, у тому числі перевірка
реакцій системи на появу помилок у значеннях або

структурах вхідних даних. Облік цього різноманіття -
процес трудомісткий, що створює складнощі для
застосування критерію.
 Тестування правил - набір тестів в сукупності має

забезпечити перевірку кожного правила, якщо вхідні і
вихідні значення описуються набором правил деякої
граматики. Слід зауважити, що граматика має бути досить

простий, щоб трудомісткість розробки відповідного набору
тестів була реальною (вписувалася у строки і штат фахівців,
виділених для реалізації фази тестування).
 Тестування класів вихідних даних - набір тестів у

сукупності має забезпечити перевірку представника
кожного вихідного класу, за умови, що вихідні результати
заздалегідь розкласифікувати, причому окремі класи

результатів вказують, в тому числі обмеження на ресурси
або на час (time out). При створенні тестів класи вихідних
даних зіставляються з режимами використання тестованого

компонента чи підсистеми, що помітно скорочує варіанти
перебору, що враховуються при розробці тестових наборів.
 Тестування функцій - набір тестів у сукупності має

забезпечити перевірку кожної дії, що реалізується модулем,
що тестується, не менше одного разу. Дуже популярний на
практиці критерій, який, однак, не забезпечує покриття

61