Додаток 15

КЕРІВНИЦТВО ПЗ ТЕХНІЧНОМУ ОБСЛУГОВУВАННЮ (ГОСТ 19.508-79)

. . .

Складання інформаційної частини (анотації і змісти) є обов'язковим.

. . .

У залежності від особливостей документа допускається вводити додаткові розділи.

1.ВСТУП

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

2.ЗАГАЛЬНІ ВКАЗІВКИ

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

3.ВИМОГИ ДО ТЕХНІЧНИХ ЗАСОБІВ

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

4.ОПИС ФУНКЦІЙ

У розділі вказують:

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

• опис спільного функціонування технічних засобів і програми з указівкою методу обробки помилок;

• опис організації вхідних і вихідних даних, використовуваних при обслуговуванні технічних засобів;

• опис взаємодій пристроїв із програмою, результатів взаємодій, з висновком результатів роботи програми.

Додаток 16

ВИКОРИСТАННЯ ФОРМАЛЬНИХ СПЕЦИФІКАЦІЙ

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

Процедурна абстракція

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

Специфікація процедури складається з заголовка й опису функції, виконуваною процедурою. Заголовок містить ім'я процедури, номер, порядок і типи вхідних і вихідних параметрів.

Семантична частина специфікації складається з трьох пропозицій ­­­requires (вимагає), modifies (модифікує) і effects (виконує). Ці пропозиції повинні з'являтися в зазначеному нижче порядку, однак пропозиції requires і modifies обов'язковими не є.

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

Оператор modifies задає список імен вхідних параметрів, що модифікуються процедурою. Якщо вхідні параметри не зазначені, то ця пропозиція може бути опущено.

Пропозиція effects описує роботу процедури зі значеннями, не охопленими пропозицією requires. Воно визначає вихідні значення і модифікації, вироблені над вхідними параметрами, перерахованими в списку modifies. Пропозиція effects складається виходячи з припущення, що вимоги пропозиції requires задоволені. Однак у тому випадку, коли вимоги в пропозиції requires не задоволені, про поводження процедури нічого не повідомляється.

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

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

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

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

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

Виняткові ситуації варто використовувати для усунення більшості обмежень, перерахованих у пропозиціях requires. Ці пропозиції варто залишати тільки з розумінь ефективності або якщо контекст використання настільки обмежений, що можна бути упевненим, що обмеження задовольняються.