Тестування алгоритму – це перевірка правильності або неправильності роботи алгоритму на спеціально заданих тестах або тестових прикладах – завданнях з відомими вхідними даними і результатами (інколи - їх наближення). Тестовий набір має бути мінімальним і повним, тобто таким, що забезпечує перевірку кожного окремого типу наборів вхідних даних, особливо виняткових випадків.
Приклад. При розв’язанні квадратного рівняння ax2 + bx + c = 0 такими винятковими випадками, наприклад, будуть: 1) а = b = c = 0; 2) а = 0, b, c – відмінні від нуля; 3) D = b2 – 4aс < 0 і ін.
Повну гарантію правильності алгоритму може дати опис роботи і результатів алгоритму за допомогою системи аксіом і правил виводу або верифікація алгоритму. Для нескладних алгоритмів грамотний підбір тестів і повне тестування може дати повну картину працездатності (непрацездатності).
Трасування – це метод покрокової фіксації динамічного стану алгоритму на деякому тесті. Часто здійснюється за допомогою таблиць трасувань, в яких кожен рядок відповідає певному стану алгоритму, а стовпець – певному стану параметрів алгоритму (вхідних, вихідних і проміжних). Трасування полегшує відладку і розуміння алгоритму.
Процес пошуку і виправлення (явних або неявних) помилок в алгоритмі називається відладкою алгоритму.
Деякі помилки в складних програмних комплексах можуть виявитися тільки в процесі їх експлуатації, на останньому етапі пошуку і виправлення помилок – етапі супроводу. На цьому етапі також уточнюють і покращують документацію, навчають персонал використанню алгоритму (програми).
СПОСОБИ ПРЕДСТАВЛЕННЯ АЛГОРИТМІВ
У процесі розроблення алгоритму можуть використовуватись різні способи його опису, які відрізняються за простотою, наочністю, компактністю, мірою формалізації, орієнтації на машинну реалізацію тощо.
Форми запису алгоритму:
словесна або вербальна (мовна, формульно-словесна);
псевдокод (формальні алгоритмічні мови);
Достарыңызбен бөлісу: |
