logo search
ТППС / Магистры / ТППС-лаб

3. Специфікація програмного забезпечення

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

Схема процесу розробки вимог показана на рис. 1.8. Результатом його виконання є розробка документації, що формалізуєвимоги, які пред'являються до системи, тобто створення системної специфікації. У цій документації вимоги зазвичай представлені на двох рівнях деталізації. На самому верхньому рівні представлені вимоги, обумовлені кінцевими користувачами або замовниками ПЗ; але для розробників необхідна більш деталізована системна специфікація.

Рис. 1.8. Процес розробки вимог

Процес розробки вимог включає чотири основні етапи.

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

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

  3. Специфікування вимог. Здійснюється переклад усієї сукупності інформації, зібраної на попередньому етапі, у документ, що визначає безліч вимог. Цей документ зазвичай містить два типи вимог:

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

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