Лекція № 12

Тема 12. Тестування та налагодження програмних застосувань.

План лекції

1. Основні визначення. Економіка тестування.

2. Тестування програми як "чорного ящика". Тестування програми як "білого ящика".

3. Аксіоми (принципи) тестування.

4. Філософія тестування. Тестування модулів.

Самостійна робота

5.Покрокове тестування. Висхідне тестування. Низхідне тестування.

6.Метод "великого стрибка". Метод сандвіча. Модифікований метод сандвіча.

7.Комплексне тестування. Проектування комплексного тіста. Виконання комплексного тіста.

Зміст лекції

Багато організацій, що займаються створенням програмного забезпечення, до 50% засобів, виділених на розробку програм, витрачають на тестування, що складає мільярди доларів по всьому світу в цілому. Та усе ж, незважаючи на величезні капіталовкладення, знань про суть тестування явно не вистачає, і більшість програмних продуктів неприйнятна, ненадійно навіть після "Грунтовного тестування".

Тестування виявляється досить незвичайним процесом (вісь чому воно і вважається важким), оскільки це процес руйнівний. Адже мета перевіряючого (тестовика) - змусити програму збитися. Він задоволений, якщо це йому вдається; якщо ж програма на його тісті не збивається, він не задоволений.

""Тестування - процес, що підтверджує правильність програми і що демонструє, що помилок в програмі немає". Основний недолік подібного визначення полягає в тому, що воно абсолютно неправильно; фактично це майже визначення антоніма слова "тестування". Тому визначення описує нездійсненне завдання, а оскільки тестування частенько усе ж виконується з успіхом, принаймні з деяким успіхом, то таке визначення логічно некоректно. Правильне визначення тестування таке:

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

12.1. Основні визначення. Економіка тестування.

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

Тестування (testing) - процес виконання програми (чи частини програми) з наміром (чи метою) знайти помилки.

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

Контроль (verification) - спроба знайти помилки, виконуючи програму в тестовій, або модельованою, середовищу.

Випробування (validation) - спроба знайти помилки, виконуючи програму в заданому реальному середовищі.

Атестація (certification) - авторитетне підтвердження правильності програми. При тестуванні з метою атестації виконується порівняння з деяким заздалегідь визначеним стандартом.

Відладка (debugging) не є різновидом тестування. Хоча слова "відладка" і "тестування" часто використовуються як синоніми, під ними маються на увазі різні відіа діяльності. Тестування - діяльність, спрямована на виявлення помилок; відладка спрямована на встановлення точної природи відомої помилки, а потім - на виправлення цієї помилки. Ці два відіа діяльності пов'язано - результати тестування є початковими даними для відладки.

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

Модуля Тестування, або автономне тестування (module testing, unit testing), - контроль окремого програмного модуля, зазвичай в ізольованому середовищі (т. е. ізольовано від усіх інших модулів). Тестування модуля іноді включає також математичний доказ.

Тестування сполучень (integration testing) - контроль сполучень між частинами системи (модулями, компонентами, підсистемами).

Тестування зовнішніх функцій (external function testing) - контроль зовнішньої поведінки системи, визначеної зовнішніми специфікаціями.

Комплексне тестування (system testing) - контроль і/або випробування системи по відношенню до початкових цілей. Комплексне тестування є процесом контролю, якщо воно виконується в модельованому середовищі, і процесом випробування, якщо виконується в середовищі реальному, життєвому.

Тестування прийнятності (acceptance testing) - перевірка відповідності програми вимогам користувача.

Тестування налаштування (installation testing) - перевірка відповідності шкірного конкретного варіанту установки системи з метою виявити будь- які помилки, що виникли в процесі налаштування системи.