Professional Documents
Culture Documents
Лекция 1 вступ 2022
Лекция 1 вступ 2022
Під час розробки програми програміст може допускати помилки. Процес пошуку і
виправлення помилок називається налагодженням програми. Налагодження програми – це
процес багаторазового виконання програми з різними початковими даними, які вона повинна
обробляти.
Помилки при створенні програми можуть бути різних типів:
а) помилки, що пов'язані з порушенням правил граматики в тексті програми
(синтаксичні). Їх можна виявити в процесі трансляції, тому їх ще називають помилками
трансляції (compiler error);
Синтаксис мови програмування (МП) – це набір правил, який визначає спосіб побудови
правильних програм із символів алфавіту. Знаючи синтаксис мови, можна побудувати алгоритм
перевірки тексту програми. Цю задачу вирішують програми транслятори (невірний
ідентифікатор, знак операції, зайва дужка, знак поділу тощо);
б) помилки виконання програми (семантичні). Виявляються під час виконання програми
(переповнення розрядної сітки, спроба поділу на нуль, тощо).
Семантика МП – набір правил, за якими виконуються програми на даній
мові. Користуючись семантикою мови, можна однозначно визначити результат виконання
програми із заданими вхідними даними;
в) змістовні (логічні) помилки. Не виявляються на етапах трансляції і виконання,
пов'язані з некоректністю логічних умов, неправильним використанням розрахункових формул
тощо;
г) помилки вхідних даних.
Процес цілеспрямованої перевірки працездатності програми називається тестуванням.
Дані спеціально підбирають таким чином, щоб можна було виявити як можна більше помилок в
роботі програми.
Після налагодження програма надходить у виробничу експлуатацію з супровідними
документами: «Керівництво розробника програм», «Керівництво користувача». Перший
документ дає можливість виправляти помилки під час експлуатації програми і розвивати її далі,
другий – пояснює, як використовувати програму.