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

Вибух тестованих даних

Приклад демонструє, що тестування повинно проводитися, принаймні, п'ятьма значеннями: 0, 500, 1000, 1500 і максимальним. Якщо кількість таких значень дуже велика, ми застосовуємо комбінаторний вибух для тестових значень. Дані діляться на класи еквівалентності, які враховують елементарні умови. Наприклад, якщо ці умови доповнюються наступними:

Супервізор може схвалити місячний рахунок в 10000 грн. Кожен рахунок, що перевищує цю суму, повинен схвалюватися президентом. Наступні класи також можуть бути враховані в даних, що вводяться: рахунок до 1000 грн; рахунок до 1000 грн; рахунок більше 1000 грн, що не перевищує 10000 грн; рахунок більше 1000 грн, що перевищує 10000 грн;

Врахування цих граничних випадків приводить до збільшення випадків тестування: (0,500,1000, 1500, max) x (<10000, 10000, >10000).

На практиці тестування всіх граничних значень (навіть обмежених типовими і крайніми) неможливе. Повинні бути обрані характерні випадки. Рекомендується враховувати наступне:

· Вірогідність виконання функції важливіша за її якість.

· Функції попередньої версії важливіші, ніж нові. Користувачі будуть незадоволені, якщо їх функція в новій версії перестане працювати.

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

Структурні тести

У разі структурних тестів дані вибираються на основі аналізу структури системи, і їх критерії наступні:

· Критерій покриття всіх функцій. Відповідно до цього критерію, вибір вхідних даних, повинен дати виконатися функціям хоча б один раз. Для задоволення критерію нам не потрібна велика кількість тестів. Критерій не дуже ефективний.

if x > 0 then begin end; y:=ln(x);

· Критерій покриття всіх виключень умов. Вхідні дані, повинні вибиратися так, щоб кожна умова виконалася хоча б раз або не виконалася. Граничні умови також слід перевірити. У даному прикладі ця вимога дозволяє знайти помилку у випадках if x=0 or x<0.

Можуть бути задіяні вимогливіші критерії.

Крітерий вибору даних грунтується на наступних припущеннях:

Дані повинні бути такими, щоб виконалося 0 циклів, мінімальна кількість циклів, максимальна і середня.

10. Програми-інструменти

Відладчики

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

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

Відбувається управління початковим кодом і, можливо, виправлення помилок.

Щоденник тестування, що дозволяє робити повторне тестування, зберігається.

Аналізатори покриття

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

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

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Тестування методом чорного ящика	\|	Компаратор

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.027 сек.