3. Специфікація програмного забезпечення
Основні базові процеси створення ПЗ: формування специфікації, розробка, атестація і модернізація програмних систем. Перший із цих процесів, формування специфікації, призначений для визначення сервісів, які буде мати проектоване ПЗ, а також обмежень, що накладаються на функціональні можливості і розробку програмної системи. Цей процес у цей час зазвичай називають “розробка вимог” (requirements engineering). Розробка вимог часто є критичним етапом у створенні ПЗ, оскільки помилки, допущені на цьому етапі, ведуть до виникнення проблем на етапах проектування і розробки.
Схема процесу розробки вимог показана на рис. 1.8. Результатом його виконання є розробка документації, що формалізуєвимоги, які пред'являються до системи, тобто створення системної специфікації. У цій документації вимоги зазвичай представлені на двох рівнях деталізації. На самому верхньому рівні представлені вимоги, обумовлені кінцевими користувачами або замовниками ПЗ; але для розробників необхідна більш деталізована системна специфікація.
Рис. 1.8. Процес розробки вимог
Процес розробки вимог включає чотири основні етапи.
Попередні дослідження. Оцінюється ступінь задоволеності користувачів існуючими програмними продуктами і апаратними засобами, а також економічна ефективність майбутньої системи і можливість укластися в існуючі бюджетні обмеження при її розробці. Цей етап повинен бути по можливості коротким і дешевим.
Формування і аналіз вимог. Формуються системні вимоги шляхом вивчення існуючих аналогічних систем, обговорення майбутньої системи з потенційними користувачами і замовниками, аналізу завдань, які повинна вирішувати система, і т.п. Цей етап може включати розробку декількох моделей системи і її прототипів, що допомагає сформувати функціональні вимоги до системи.
Специфікування вимог. Здійснюється переклад усієї сукупності інформації, зібраної на попередньому етапі, у документ, що визначає безліч вимог. Цей документ зазвичай містить два типи вимог:
користувацькі ‒ узагальнені представлення замовників і кінцевих користувачів про систему;
системні ‒ детальний опис функціональних показників системи.
Твердження вимог. Перевіряється здійсненність, погодженість і повнота безлічі вимог. У процесі формування обмежень неминуче виникнення яких-небудь помилок. На цьому етапі вони повинні бути по можливості виявлені і усунуті.
Зазвичай, процес розробки вимог важко укласти в описану послідовність етапів. Наприклад, аналіз вимог виконується протягом усього процесу їх розробки, тому внесення нових або зміна вже сформульованих вимог можливо на будь-якому етапі. Як правило, етапи розробки вимог перекриваються в часі.
- Технологія проектування програмних систем
- 1.Опис навчальної дисципліни
- 2. Тематика і зміст лекцій
- 3. Практичні заняття по дисципліні "Технологія проектування програмних систем"
- 4. Шкала оцінювання
- 5. Оцінка успішності в балах при повному виконанні умов і графіку навчального процесу
- Лабораторна робота № 1
- 2. Ітераційні моделі розробки пз
- 3. Специфікація програмного забезпечення
- 4. Проектування і реалізація пз
- 6. Еволюція програмних систем
- 7. Автоматизовані засоби розробки пз
- Лабораторна робота № 2
- 2. Користувацькі вимоги
- 3. Системні вимоги
- 4. Документування системних вимог
- 4. Додатки
- 5. Покажчики
- Лабораторна робота № 3
- 1. Прототипування в процесі розробки пз
- 2. Технології швидкого прототипування
- 3. Прототипування користувацьких інтерфейсів
- Лабораторна робота № 4
- 1. Формальні специфікації в процесі розробки пз
- 2. Специфицирование інтерфейсів
- 3. Специфікація поведінки систем
- Лабораторна робота № 5
- 1. Проектування систем
- 2. Керуючі програми
- 3. Системи спостереження і керування
- 4. Системи збору даних