5.3.2.6 Тестування станів

5.3.2.6.1 Виконання тестування станів є доцільним у випадках, коли необхідно провести перевірку значної кількості таких програмних об'єктів, як комунікаційні протоколи, послідовності відмов і відновлень, конкуруючі процеси. Для розроблення тестів використовують діаграми станів (див. рисунок 5.5). Цю діаграму складено на основі прикладу, розглянутого у 5.3.2.3.8. П'ять можливих станів позначено прямокутниками, шість переходів між станами позначено стрілками. Тригери зміни станів, які відповідають вхідним даним або подіям, зазначено над верхніми стрілками, вихідні керуючі дії ПЗ зазначено над нижніми стрілками. Діаграму станів може бути також представлено в іншій нотації, наприклад, у вигляді таблиці рішень (див. таблицю 5.3).

Рисунок 5.5—Приклад діаграми станів

5.3.2.6.2 Діаграма станів повинна бути верифікована на відповідність проекту ПЗ та на коректність структури. Такий аналіз може виявити помилки проекту. У ході тестування станів помилки ПЗ можуть бути знайдені у випадку виявлення некоректної структури діаграми станів або у випадку коректної діаграми станів, яка неправильно моделює досліджувану систему. Помилки структури діаграми станів виявляють у ході аналізу моделі та включають стани, які не можуть бути досягнуті, або стани, з яких ПЗ не може вийти. Помилки моделі досліджуваної системи виявляють у ході тестування на відповідність вимогам до ПЗ та включають пропущені стани, помилки у описі ініціюючих (тригерних) подій, помилки у послідовності переходів між станами.

5.3.2.6.3 Тестове покриття повинне забезпечувати проходження усіх вершин і зв'язків діаграми. Тести повинні перевіряти послідовності вхідних подій, переходи між станами, послідовності вихідних подій.

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

• для опису вимог до ПЗ використовують таблиці станів-переходів;

• кількість можливих транзакцій у системі обмежена;

• стан виходів ПЗ залежить від послідовності вхідних подій;

• існує фіксований стан системи, щодо якого здійснюється регулювання;

• необхідна перевірка протоколів взаємодії;

• необхідна перевірка драйверів пристроїв;

• необхідна перевірка використання системних ресурсів.

5.3.3 Метод структурного тестування програмного забезпечення

5.3.3.1 Загальні положення щодо структурного тестування програмного забезпечення

Структурне тестування ПЗ може бути реалізоване наступними методами (див. таблицю 5.4):

• тестуванням маршрутів;

• тестуванням циклів;

• тестуванням оброблення даних.

Таблиця 5.4—Види структурного тестування

Види тестування	Цілі тестування	Об'єкти тестування
Тестування маршрутів	Верифікація потоку управління всередині програмних модулів, забезпечення повноти покриття програмних областей і маршрутів	Програмні галузі та маршрути
Тестування циклів	Верифікація виконання циклів	Програмні цикли та їхні граничні значення
Тестування оброблення даних	Верифікація використання даних	Програмні дані