Методика створення програм.

Тут ми розглянемо один з найбільш важливих питань: як створювати програму?

До цих пір ми мали справу з відносно невеликими програмами для вирішення нескладних алгоритмічних проблем. Ми познайомилися з важливістю й роллю специфікації програми, ясністю формулювання основних кроків алгоритму при обробці даних, трансляцією цих кроків у ефективні послідовності операторів програми на мові Pascal, коментуванні програми, перевірки її правильності. Ми переконалися, що перевіряти правильність програми треба, навіть тоді, коли коректність використаного алгоритму була доведена. Причому, зауважимо, що внутрішня організація всіх програм, які ми написали до сих пір, може бути представлена в a'le Pascal формі як на рис. 13.1.

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

Текст програми для вирішення великої проблеми займає багато більше місця, ніж одна сторінка.

Створення таких програм шляхом написання Pascal програми "з листа" практично неможливо.

Як правило, ця розробка передбачає систематичний підхід:

опис проблеми;

розробка алгоритму;

написання програми.

Створена програма повинна бути читабельною, ефективної і коректною.

Program Exmpl.

((Q) Exmpl (R))

(Опис використовуваних пременних у перед і пост умовах)

begin

(Введення вихідних даних)

(Перевірка виконання передумови,

тобто коректності початкових даних)

if (Дані коректні) then

(Q)

begin (Обробка даних)

(R)

(Висновок)

end

else (Повідомлення про помилку вводу)

end

Рис. 13.1. Типова внутрішня організація програми.

Створення програми - це систематичний процес, що складається з певних етапів. У результаті цього процесу ми отримуємо програму. Оскільки ми хочемо отримувати програму

ясну для розуміння, тобто читабельну;

ефективну, тобто економно витрачаються ресурси виконавця і виконувану ним швидко;

правильну, тобто що не містить помилок;

то не будь-який процес створення програми нам підходить.

Нам потрібна методика створення ясних, правильних, ефективних програм.

Ясність означає, що будь-який, хто знаком з мовою Pascal та прикладної областю, зрозуміє алгоритм, читаючи текст програми, коментарі і специфікацію проблеми.

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

Коректність означає, що будь-яке виконання програми з допустимими вихідними даними дає правильний результат.

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

Давайте напишемо невелику програму, зосередивши тепер нашу увагу саме на процесі її створення. Хай до нас звернулися з проханням написати програму на Pascal, яка розміщує компоненти вектора в зростаючому порядку. Нехай після спілкування із замовником нам вдалося з'ясувати, що:

компонентами вектора можуть бути тільки натуральні числа;

компонентів завжди 100;

всі компоненти попарно різні.

Ми вже специфікована вихідні дані для цього завдання в лекції 7. Там вихідні дані ми специфікована так:

Q1 = "I: 1