3.1.2. Специфікація

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

Описувані у специфікації дії можуть бути двох типів :

1. перетворювальні – таки, що перетворюють значення і забезпечують реалізацію функцій частин програми;

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

Кількість і характер перетворювальних дій залежать від характеру задачі та типу виконавця специфікації, а тому не можна заздалегідь визначити, скільки їх буде. Проте серед цих дій можна відокремити:

• такі, що реалізують основну функцію програми;

• такі, що забезпечують реалізацію основної функції програми.

Часто дії другого типу можуть становити більшу частину специфікації.

Кількість управляючих дій обмежена - їх може бути лише три, причому призначені вони для реалізації у програмі таких функцій:

• поєднання (зчленування) перетворювальних дій;

• чергування (вибору) перетворювальних дій;

• повторення (ітерації) перетворювальних дій.

Відомо, що виразивши зазначені дії засобами мови програмування, можна написати будь-яку програму [2]. Специфікації, в яких використовуються лише наведені дії, називаються структурними [37].

3.1.3. Специфікування. Процес

С пецифікування – це процес виявлення в опису розв’язуваної задачі (деталізація згідно з вибраним методом) усіх перетворювальних і управляючих дій і опис задачі у вигляді специфікації (наприклад, блок-схеми) за допомогою мови з таким ступенем деталізації якого достатньо для виконання деталізованої специфікації деяким виконавцем, зазвичай комп’ютером.

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

Загалом розглядуваний процес проектування характеризується такими особливостями:

• деталізація відбувається лише за допомогою зазначених дій і спрямована „згори-вниз”, від загального до окремого;

• деталізація частин специфікації має приводити до розв’язування задачі;

• на будь-якому кроці деталізації, якщо вона виконується правильно, вибір порядку деталізації (деталізовіваної дії) неістотний.

У процесі деталізації доти, доки не досягнуто деякого рівня (його досягнення слід відсувати якомога далі, до кінця проектування), не має значення:

• вибір конкретного варіанта чергування – важливо лише, щоб його можна було вибрати правильно;

• кількість повторень для ітерації – важливо лише, щоб ця кількість була правильною.

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