Page 55 - 4592

– перевірка видалення тимчасових файлів, перевірка

очистки пам’яті.
Тестове покриття – це метрика оцінки якості тестування,
що являє собою показник покриття тестами…
.. вимог, тобто перевірка відповідності набору тестів, що

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

Для вимірювання покриття вимог необхідним є аналіз
специфікації і розбивка вимог на пункти. У відповідність
кожному пункту слід ставити набір тестів. Такі зв’язки часто

об’єднюють в єдину матрицю (таблицю), що називається
матрицею трасування вимог. Покриття визначається як T=Lc/Lt,
де T – покриття вимог, Lc – кількість перевірених тестами вимог,

Lt – загальна кількість вимог. Інший підхід – T=Lеc/Lсоde, де Ltc
– кількість покритих тестами рядків коду , Lcode – загальна
кількість рядків коду. Обчислення цієї характеристики можна
автоматизувати.

Автоматизація тестування полягає в основному у
використанні готових програмних засобів для виконання тестів та
перевірки результатів виконання. Популярними я наступні

засоби:
– Python – unittest, doctest
– Java – JUnit
– C++ – Google Test

– C – UnitTESK
– Web –форми – Selenium.
Розглянем деякі аспекти та підходи до тестування

детальніше.
Програма для тестування розглядають часто аналог
звичайної формули у математиці.

Формула для функції f, отриманої суперпозицією f1, f2, ... fn
- вираз, що описує цю суперпозицію.
f = f 1 * f 2 * f 3 * ... * fn

Якщо аналог f1, f2, ... fn - оператори мови програмування, то
їх формула - програма.
Існує два методи обгрунтування істинності формул:

55