Тестування програмних систем і комплексів

Лекція 3

Критерії вибору тестів

ПЛАН

1 Вимоги до ідеального критерію тестування

2 Структурні критерії (клас I).

3 Функціональні критерії (клас II)

4 Стохастичні критерії (клас III)

5 Мутаційний критерій (клас IV).

Вимоги до ідеального критерію тестування

•Критерій повинен бути достатнім

•Критерій повинен бути повним

•Критерій повинен бути надійним

•Критерій повинен легко перевірятися

Структурні критерії (клас I)

•використовують модель програми у вигляді "білого ящика"

•інформація зрозуміла й доступна розроблювачам підсистем і модулів додатка

•клас критеріїв використовується на етапах модульного й інтеграційного тестування

Умови структурних критеріїв

•Критерій тестування команд (критерій С0) - набір тестів у сукупності повинен забезпечити проходження кожної команди не менш одного разу.

•Критерій тестування гілок (критерій С1) - набір тестів у сукупності повинен забезпечити проходження кожної гілки не менш одного разу.

•Критерій тестування шляхів (критерій С2) - набір тестів у сукупності повинен забезпечити проходження кожного шляху не менш 1 разу.

Приклад

•if (x>17)

•x = 17-x;

•if (x==-13)

•x = 0;

•}

Функціональний критерій (клас II)

•найважливіший для програмної індустрії критерій тестування

•забезпечує контроль ступеня виконання вимог замовника в програмному продукті

•використається модель "чорного ящика"

•проблема функціонального тестування - трудомісткість

Види функціональних критеріїв

•Тестування пунктів специфікації

•Тестування класів вхідних даних

•Тестування правил

•Тестування класів вихідних даних

•Тестування функцій

•Комбіновані критерії для програм і специфікацій

Стохастичні критерії (клас III)

•застосовуються при тестуванні складних програмних комплексів

•включає Детермінований контроль та Стохастичний контроль

Критерії стохастичного тестування

•Cтатичні методи

•Метод оцінки швидкості виявлення помилок