Випробування ПЗ при сертифікації - СтудІзба
Тестування ПЗ. Випробування ПЗ при сертифікації
Детерміноване тестування під час проектування. Детерміноване випробування під час сертифікації
Принципи та завдання детермінованого тестування
Основним завданням детермінованого тестування є встановлення факту працездатності програм та відповідність їх технічним завданням, а також виявлення та усунення помилок та доведення характеристик програм до рівня вимог, заданих замовником.
Діагностування здійснюється автоматичними людино-машинними системами, в яких:
- частку людини доводиться аналізуюча роль виявленні помилок, їх аналіз та прийняття рішень з їхньої коригування;
- обчислювальні системи забезпечують виконання програми, управління завданнями та тестами, селективне інформування про перебіг тестування.
При детермінованому тестуванні виходять результати при фіксованому наборі вихідних даних, а як і порівняння цих значень з еталонними. Діапазон варіювання вихідних даних та кількість варіантів поєднання змінних визначають достовірність налагодження. Порівняння результатів виконання з зразками, зазвичай, відбувається автоматично. Якщо результат відрізняється від зразка, визначається місце та тип помилки.
Залежно від інформації, що використовується при тестуванні, розрізняють два методи:
- Метод перевірки за вихідними даними та результатами.
Програму сприймається, як чорний ящик і після встановлення факту непрацездатності якомусь наборі використовується інформація структуру програми, тобто. від загального до часткового з надією, що помилки немає.
2. Метод з урахуванням проміжних результатів.
Аналізуються логічні маршрути виконання програми та проміжні результати у точках маршруту. Перевірка програми здійснюється під час виконання її від приватного до спільного з упевненістю, що помилка є. Метод – білий ящик.
«Сірий ящик» – частково структура відома, а частково – ні.
Метод білого ящика більш простий при локалізації помилок, але потребує більше часу, ніж метод перевірки остаточних результатів.
Процес налагодження програми при детермінованому тестуванні поділяється на такі етапи:
- планування налагодження;
- складання тестів та завдань на налагодження та виконання програми;
- інформування про результати із завдань тесту;
- аналіз результатів, виявлення та локалізація помилок;
- усунення помилок та коригування вихідного тексту програми.
Детерміноване тестування включає:
- вибір послідовності контрольних точок, входи та виходи з програми;
- вибір наборів значень вихідних даних;
- вибираються проміжні точки контролю та перелік змінних, що підлягають контролю у цих точках, маршрути виконання програми.
Порядок тестування може бути:
- безумовний, тобто. незалежний від результатів виконання попередніх наборів;
- умовним.