Як тестувати програми

Першим кроком тестування є налагодження. Налагодження, як правило, виробляє програміст, який писав програму або володіє мовою програмування тестованого продукту. На етапі налагодження перевіряється вихідний код програми на наявність синтаксичних помилок. Виявлені помилки усуваються.

Наступний крок налагодження - статичне тестування. На цьому етапі перевіряється вся документація, отримана як результат життєвого циклу програми. Це і технічне завдання, і специфікація, і вихідний текст програми на мові програмування. Вся документація аналізується на предмет дотримання стандартів програмування В результаті статичної перевірки встановлюється, наскільки програма відповідає заданим критеріям і вимогам замовника. Усунення неточностей і помилок в документації - запорука того, що створюване програмний засіб має високу якість.

Наступний крок тестування - використання динамічних методів. Динамічні методи застосовуються в процесі безпосереднього виконання програми. Коректність програмного засобу перевіряється на безлічі тестів або наборів підготовлених вхідних даних. При прогоні кожного тесту збираються і аналізуються дані про відмови і збої в роботі програми.

Розрізняють методи, в яких програма розглядається як «чорний ящик», тобто використовується інформація про розв`язуваної задачі, і методи, в яких програма розглядається як «білий ящик», тобто використовується структура програми.

Мета динамічного тестування програм за принципом «чорного ящика» - виявлення одним тестом максимального числа помилок з використанням невеликого підмножини вхідних даних. Для проведення тестування з цього методу необхідно підготувати дві групи вхідних умов. Одна група повинна містити правильні вхідні дані для програми, друга група - неправильні, засновані на завданні помилкових вхідних значень. після прогону програми на вхідних даних з обох груп встановлюються невідповідності між реальною поведінкою функцій і очікуваним.

Метод «білого ящика» дозволяє досліджувати внутрішню структуру програми. Набір тестів за цим принципом в сукупності повинен забезпечити проходження кожного оператора не менше одного разу. Розбиття на групи вхідних умов має бути орієнтоване на перевірку проходження всіх шляхів програми: Умов, відгалужень, циклів.