При розробці програм найбільш трудомістким є етап налагодження і тестування програм. Мета тестування, тобто випробування програми, полягає у виявленні наявних в програмі помилок. Мета налагодження полягає у виявленні та усуненні причин помилок.
Налагодження програми починають з складання плану тестування. Такий план повинен уявляти собі будь-який програміст. Складання плану спирається на поняття про джерела і характер помилок. Основними джерелами помилок є недостатньо глибоке опрацювання математичної моделі або алгоритму розв'язання задачі; порушення відповідності між схемою алгоритму або записом його на алгоритмічній мові і програмою, записаною на мові програмування; невірне уявлення вихідних даних на програмному бланку; неуважність при наборі програми і вихідних даних на клавіатурі пристрою введення.
З огляду на різноманітність джерел помилок, при складанні плану тестування класифікують помилки на два типи: 1 - синтаксичні; 2 - семантичні (смислові).
Синтаксичні помилки - це помилки в запису конструкцій мови програмування (чисел, змінних, функцій, виразів, операторів, міток, підпрограм).
Виявлення більшості синтаксичних помилок автоматизовано в основних системах програмування. Пошук же семантичних помилок набагато менш формалізований; частина їх виявляється при виконанні програми в порушеннях процесу автоматичних обчислень і відображається або видачею діагностичних повідомлень робочої програми, або відсутністю друку результатів через нескінченного повторення однієї і тієї ж частини програми (зациклення), або появою непередбаченої форми або змісту друку результатів.
У план тестування зазвичай входять наступні етапи:
Контрольні приклади (тести) - це спеціально підібрані завдання, результати яких заздалегідь відомі або можуть бути визначені без істотних витрат.
Найбільш прості способи отримання тестів:
- Підбір вихідних даних, для яких нескладно визначити результату обчислень вручну або розрахунком на калькуляторі.
- Використання результатів, отриманих на інших ЕОМ або за іншими програмами.
- Використання знань про фізичну природу процесу, параметри якого визначаються, про необхідні і можливі властивості розраховується конструкції. Хоча точне рішення задачі заздалегідь відомо, судження про порядок величин дозволяє з великою ймовірністю оцінити достовірність результатів.