Page 60 - 4592

 Умова критерію тестування команд (критерій С0) - набір

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

 Умова критерію тестування гілок (критерій С1) - набір
тестів в сукупності має забезпечити проходження кожної
гілки не менше одного разу. Це досить сильний і при цьому

економічний критерій. Цей критерій часто використовується
в системах автоматизованого тестування.
 Умова критерію тестування шляхів (критерій С2) - набір

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

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

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

продукті. Оскільки вимоги формулюються до продукту в цілому,
вони відображають взаємодію тестованого додатки з оточенням.
При функціональному тестуванні переважно використовується
модель «чорного ящика». Проблема функціонального тестування

- це, перш за все, трудомісткість; справа в тому, що документи,
які фіксують вимоги до програмного виробу (Software requirement
specification, Functional specification і т.п.), як правило, досить

об'ємні, тим не менш, відповідна перевірка повинна бути
всеосяжною.
Нижче наведені приватні види функціональних критеріїв.

 Тестування пунктів специфікації - набір тестів в сукупності
має забезпечити перевірку кожного тестованого пункту не
менше одного разу. Специфікація вимог може містити сотні

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

60