Тести, що базуються на блок-схемі
Введення
Тестування - діяльність, виконувана для оцінки та покращення якості програмного забезпечення. Ця діяльність, у загальному випадку, базується на виявленні дефектів і проблем в програмних системах. Тестування програмних систем складається з динамічної верифікації поведінки програм на кінцевому (обмеженому) наборі тестів, обраних відповідним чином із зазвичай виконуваних дій прикладної області та забезпечують перевірку відповідності очікуваному поведінки системи.
Загальний погляд на тестування програмного забезпечення останні роки активно еволюціонував, стаючи все більш конструктивним, прагматичним і наближеним до реалій сучасних проектів розробки програмних систем. Тестування більш не розглядається як діяльність, що починається тільки після завершення фази конструювання. Сьогодні тестування розглядається як діяльність, яку необхідно проводити протягом усього процесу розробки і супроводу і є важливою частиною конструювання програмних продуктів.
Дійсно, планування тестування повинне починатися на ранніх стадіях роботи з вимогами, необхідно систематично і постійно розвивати і уточнювати плани тестів і відповідні процедури тестування. Навіть самі по собі сценарії тестування виявляються дуже корисними для тих, хто займається проектуванням, дозволяючи виділяти ті аспекти вимог, які можуть неоднозначно інтерпретуватися або навіть бути суперечливими.
1. Тести, що базуються на блок-схемі
Техніки тестування сильно розрізняються за своєю специфікою, яку можуть визначати, наприклад спрямованість на тестування конкретного об'єкта або на перевірку певного результату.
Тести, що базуються на блок-схемі відносяться до групи технік, орієнтованих на код, тобто вони засновані на аналізі вихідного коду. Тестами передбачаються можливі сценарії розвитку подій, виходячи з покриття всіх умов і рішень блок-схеми коду. У якійсь мірі нагадує тести на основі кінцевого автомата. Відмінність - в джерелі набору тестів.
Максимальна віддача від тестів на основі блок-схеми виходить коли тести покривають різні шляхи блок-схеми - по суті, сценарії потоків робіт (поведінки) тестованої системи. Адекватність таких тестів оцінюється як відсоток покриття всіх можливих шляхів блок-схеми.
2. Приклади тестів на основі блок-схем
Приклад тестування програми про те, чи є рік високосним
Розглянемо наступний блок коду.
if (year% 400 == 0)
{. WriteLine («Рік високосний n");
} if (year% 100 == 0)
{. WriteLine («рік не високосний n");
} if (year% 4 == 0)
{. WriteLine («Рік високосний n");
}. WriteLine («рік не високосний n");
У цьому фрагменті програми відбувається перевірка числа в змінної year, щоб дізнатися чи є номер року, введеного в цю змінну, високосним.
Блок-схема до цього коду виглядає наступним чином
Малюнок 1. Блок-схема «Високосний рік»
Для максимальної віддачі і покриття тестами всіх гілок блок-схеми використовуємо наступні тестові дані:
· Вводимо 1600. Виконується перевірка першої умови в результаті якого програма вивела результат позитивного результату про те, що рік є високосним.
· Вводимо 500 рік. Отримуємо негативний результат після першого умови, переходимо до другого умові і отримуємо позитивний результат, в результаті якого програма виводить інформацію, що рік не є високосним.
· Вводимо 2012 рік. Отримуємо негативні результати у двох перших умов і переходимо до останнього умовою, в результаті позитивного результату якого, програма виводить інформацію про те, що рік є високосним.
· Вводимо 99 рік. Отримуємо негативні результати у двох перших умов і переходимо до останнього умовою, в результаті негативного результату якого, програма виводить інформацію про те, що рік не є високосним.
Від даного набору тестів ми отримуємо максимальну віддачу, оскільки вони покривають всі сценарії блок-схеми, заснованої на представленому блоці коду. Варто сказати, що ми тестували лише логіку роботи програми, чого достатньо для нашого прикладу, в іншому випадком, нам би довелося малювати блок-схему, що включає в себе умови перевірки коректност...
