- •Лабораторная работа 1
- •3. Нижний уровень - функциональный (functional requirements).
- •1) Неформально т.Е. Словесно в свободном формате прописанные требования в соответствии с приведенной классификацией. Лабораторная работа 3. Специфицирование требований
- •1. Глоссарий
- •2. Акторы и варианты использования
- •3. Спецификация варианта использования
- •Лабораторная работа 4. Анализ свойств требований.
- •1. Полнота.
- •2. Ясность (недвусмысленность, определенность, однозначность спецификаций).
- •3. Корректность и согласованность (непротиворечивость).
- •4. Верифицируемость (пригодность к проверке).
- •5. Необходимость и полезность при эксплуатации.
- •6. Осуществимость (выполнимость).
- •7. Трассируемость
- •8. Упорядоченность по важности и стабильности
- •9. Наличие количественной метрики
- •10. Каких требований не должно быть
- •Для перечисленных требований выполнить анализ свойств.
- •Примеры:
- •Решения по изменению требований:
6. Осуществимость (выполнимость).
Требует исключать абсурдные требования и рассмотрение тех, которые выполнимы принципиально.
Однако, не все требования, выполнимые принципиально, являются осуществимыми.
Выполнимость требования на практике определяется разумным балансом между ценностью (степенью необходимости и полезности) и потребными ресурсами.
7. Трассируемость
Трассируемость требования определяется возможностью отследить связь между ним и другими компонентами информационной системы (документами, моделями, текстами программ и пр.).
8. Упорядоченность по важности и стабильности
Приоритет требования представляет собой количественную оценку степени значимости требования. Приоритеты требований обычно назначает представитель Заказчика. Разработчик, отталкиваясь от приоритетности требований, управляет процессом реализации информационной системы.
Стабильность требования характеризует прогнозную оценку неизменности требований во времени.
9. Наличие количественной метрики
Количественные метрики играют важную роль в верификации и аттестации информационных систем. В первую очередь это относится к нефункциональным требованиям, которые, как правило, должны иметь под собой количественную основу. Например:
- запрос должен отрабатываться не более, чем ___ секунд;
- средняя наработка на отказ должна составлять не менее, чем ___ часов.
Функциональные требования также могут расширяться количественными мерами при помощи так называемых аспектов применимости (рассм. позднее).
10. Каких требований не должно быть
Согласно устоявшемуся подходу, спецификация требований не должна содержать деталей проектирования или реализации (кроме известных ограничений). Требования должны отвечать на вопрос: "что должна делать система", и не касаться вопроса "как она это должна делать".
Для перечисленных требований выполнить анализ свойств.
Примеры:
1) Непротиворечивость по горизонтали для функциональных требований поведения:
требование 1: пользователь инициирует вызов драйвера принтера для печати;
- требование 2: пользователь после вызова печати выключает принтер кнопкой «питание».
Противоречие: принтер может не успеть закончить печать.
Разрешение: нужен системный запрос от принтера к пользователю на возможное выключение, но после окончания печати.
2) Непротиворечивость по вертикали между системными требованиями и бизнес-требованиями:
Бизнес-требование 1: Максимальная дешевизна комплекса аппаратура-программа;
Системное требование 2: Процессор последнего поколения.
Противоречие: процессор последнего поколения противоречит бизнес-требованию дешевизны.
Разрешение: выполнять расчет на процессоре видеокарты.
Таблица анализа требований.
|
|
|
|
|
|
|
|
|
|
|
| |
|
| |||||||||||
| ||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ||||||||||||
| ||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ||||||||||||
| ||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ||||||||||||
| ||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
| ||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
| ||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
| ||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
| ||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|