Выделение и анализ требований
После получения общего представления о деятельности и целях организаций, в которых будет работать будущая программная система, и о ее предметной области, можно определить более четко, какие именно задачи система будет решать. Кроме того, важно понимать, какие из задач стоят наиболее остро и обязательно должны быть поддержаны уже в первой версии, а какие могут быть отложены до следующих версий или вообще вынесены за рамки области ответственности системы. Эта информация выявляется при анализе потребностей возможных пользователей и заказчиков.
Потребности определяются на основе наиболее актуальных проблем и задач, которые пользователи и заказчики видят перед собой. При этом требуется аккуратное выявление значимых проблем, определение того, насколько хорошо они решаются при текущем положении дел, и расстановка приоритетов при рассмотрении недостаточно хорошо решаемых, поскольку чаще всего решить сразу все проблемы невозможно.
Формулировка потребностей может быть разбита на следующие этапы.
- Выделить одну-две-три основных проблемы.
- Определить причины возникновения проблем, оценить степень их влияния и выделить наиболее существенные из проблем, влекущие появление остальных.
- Определить ограничения на возможные решения.
Формулировка потребностей не должна накладывать лишних ограничений на возможные решения, удовлетворяющие им. Нужно попытаться сформулировать, что именно является проблемой, а не предлагать сразу возможные решения.
Например, формулировки "система должна использовать СУБД Oracle для хранения данных", "нужно, чтобы при вводе неверных данных раздавался звуковой сигнал" не очень хорошо описывают потребности. Исключением в первом случае может быть особая ситуация, например, если СУБД Oracle уже используется для хранения других данных, которые должны быть интегрированы с рассматриваемыми: при этом ее использование становится внешним ограничением. Соответствующие потребности лучше описать так: "нужно организовать надежное и удобное для интеграции с другими системами хранение данных", "необходимо предотвращать попадание некорректных данных в хранилище".
При выявлении потребностей пользователей анализируются модели деятельности пользователей и организаций, в которых они работают, для выявления проблемных мест. Также используются такие приемы, как анкетирование, демонстрация возможных сеансов работы будущей системы, интерактивные опросы, где пользователям предоставляется возможность самим предложить варианты внешнего вида системы и ее работы или поменять предложенные кем-то другим, демонстрация прототипа системы и др.
После выделения основных потребностей нужно решить вопрос о разграничении области ответственности будущей системы, т.е. определить, какие из потребностей надо пытаться удовлетворить в ее рамках, а какие — нет.
При этом все заинтересованные лица делятся на пользователей, которые будут непосредственно использовать создаваемую систему для решения своих задач, и вторичных заинтересованных лиц, которые не решают своих задач с ее помощью, но чьи интересы так или иначе затрагиваются ею. Потребности пользователей нужно удовлетворить в первую очередь и на это нужно выделить больше усилий, а интересы вторичных заинтересованных лиц должны быть только адекватно учтены в итоговой системе.
На основе выделенных потребностей пользователей, отнесенных к области ответственности системы, формулируются возможные функции будущей системы, которые представляют собой услуги, предоставляемые системой и удовлетворяющие потребности одной или нескольких групп пользователей (или других заинтересованных лиц). Идеи для определения таких функций можно брать из имеющегося опыта разработчиков (наиболее часто используемый источник) или из результатов мозговых штурмов и других форм выработки идей.
Формулировка функций должна быть достаточно короткой, ясной для пользователей, без лишних деталей. Например:
- Все данные о сделках и клиентах будут сохраняться в базе данных.
- Статус выполнения заказа клиент сможет узнать через Интернет.
- Система будет поддерживать до 10000 одновременно работающих пользователей.
- Расписание проведения ремонтных работ будет строиться автоматически.
Предлагая те или иные функции, нужно уметь аккуратно оценивать их влияние на структуру и деятельность организаций, в рамках которых будет использоваться ПО. Это можно сделать, имея полученные при анализе предметной области модели их текущей деятельности.
Имея набор функций, достаточно хорошо поддерживающий решение наиболее существенных задач, с которыми придется работать разрабатываемой системе, можно составлять требования к ней, представляющие собой детализацию работы этих функций. Соотношение между проблемами, потребностями, функциями и требованиями показано на рис. 4.6.
Рис. 4.6. Соотношение между проблемами, потребностями, функциями и требованиями
При этом часто нужно учитывать, что ПО является частью программно-аппаратной системы, требования к которой надо преобразовать в требования к программной и аппаратной ее составляющим. В последнее время, в связи со значительным падением цен на мощное аппаратное обеспечение общего назначения, фокус внимания переместился, в основном, на программное обеспечение. Во многих проектах аппаратная платформа определяется из общих соображений, а поддержку большинства нужных функций осуществляет ПО.
Каждое требование раскрывает детали поведения системы при выполнении ею некоторой функции в некоторых обстоятельствах. При этом часть требований исходит из потребностей и пожеланий заинтересованных лиц и решений, удовлетворяющих эти потребности и пожелания, а часть — из внешних ограничений, накладываемых на систему, например, основными законами той предметной области, в рамках которой системе придется работать, государственным законодательством, корпоративной политикой и пр.
Еще до перехода от функций к требованиям полезно расставить приоритеты и оценить трудоемкость их реализации и рискованность. Это позволит отказаться от реализации наименее важных и наиболее трудоемких, не соответствующих бюджету проекта функций еще до их детальной проработки, а также выявить возможные проблемные места проекта — наиболее трудоемкие и неясные из вошедших в него функций.
Правила работы с требования к ПО и более общими системными требованиями (к программно-аппаратной системе), определяются следующими двумя стандартами IEEE:
- IEEE 830-1998 Recommended Practice for Software Requirements Specifications [7] (рекомендуемые методы спецификации требований к ПО).
Описывает структуру документов для фиксации требований к ПО.
Кроме того, он определяет характеристики, которыми должен обладать правильно составленный набор требований.- Корректность или адекватность (соответствие реальным потребностям).
- Недвусмысленность (однозначность понимания).
- Полнота (отражение всех выделенных потребностей и всех возможных ситуаций, в которых придется работать системе).
- Непротиворечивость (согласованность между различными элементами).
- Упорядоченность по важности и стабильности.
- Проверяемость (выполнение каждого требования нужно уметь проверять некоторым достаточно эффективным способом — непроверяемые требования должны быть удалены из рассмотрения или сведены к проверяемым вариантам).
- Модифицируемость (оформление в удобных для внесения изменений структуре и стилях).
- Прослеживаемость в ходе разработки (возможность увязать требование с подсистемами, модулями и операциями, ответственными за его выполнение, и с тестами, проверяющими его выполнение).
- IEEE 1233-1998, 2002 Guide for Developing System Requirements Specifications [8] (руководство по разработке спецификаций требований к системам).
Описывает правила построения требований для программно-аппаратных систем в целом. Он выделяет следующие необходимые свойства набора требований:- Однократное упоминание отдельных требований.
- Отсутствие пересечений между требованиями.
- Явное указание связей между требованиями.
- Полнота.
- Непротиворечивость.
- Определение ограничений, области действия и контекста для каждого требования.
- Модифицируемость.
- Конфигурируемость, удобство поддержки.
- Подходящий для определения системы уровень абстракции.
Кроме того, следующие свойства считаются необходимыми для отдельного требования.- Абстрактность — формулировка, независимая от возможных реализаций.
- Недвусмысленность.
- Прослеживаемость.
- Проверяемость.
Стандарт предписывает определять следующие атрибуты для каждого требования:- Уникальный идентификатор.
- Приоритет, важность реализации с точки зрения пользователей.
- Критичность для построения и успешности системы с точки зрения аналитиков.
- Осуществимость с точки зрения готовности пользователей к новой функции, имеющихся технологий и стоимости реализации.
- Риски высокой стоимости, последствий использования для окружающей среды и пользователей, конфликтов со стандартами и законодательством.
- Источник (т.е. кто предложил это требование).
- Тип требования. Возможные типы определяются так (многие из них соответствуют атрибутам качества, рассматриваемым в следующей лекции):
- Требования на входные данные.
- Требования на выходные данные.
- Надежность (reliability, например, среднее время работы между отказами).
- Работоспособность (availability, например, необходимое отношение времени функционирования к полному времени работы).
- Удобство сопровождения (maintainability, например, удобство замены компонента).
- Производительность (performance, например, среднее время ожидания ответа).
- Доступность (accessibility, например, разные способы доступа для новичков и опытных пользователей).
- Ограничения окружающей среды (например, максимальный уровень задымленности, при котором гарантируется работоспособность).
- Эргономичность (ergonomic, например, использование набора цветов, понижающих утомляемость глаз).
- Безопасность (safety, например, допустимые уровни электромагнитного излучения различных частот).
- Защищенность (security, например, ограничения доступа для разных пользователей).
- Требования к оборудованию (например, использование обычной электросети).
- Транспортируемость (transportability, например, ограничения веса).
- Удобство обучения (например, включение обучающих материалов).
- Документированность (например, наличие встроенной документации).
- Внешние интерфейсы (например, поддержка стандартных форматов документов).
- Тестируемость (например, поддержка удаленной диагностики).
- Условия необходимого качества (например, максимально допустимая погрешность производимых измерений).
- Следование корпоративным и законодательным нормам (например, законам об охране труда).
- Совместимость с известными системами.
- Следование стандартам и технологическим нормам.
- Конвертация данных (например, из старой версии системы).
- Возможности роста (например, возможное увеличение числа пользователей).
- Удобство развертывания (например, время, необходимое для приведения в работоспособное состояние).
В дополнение к перечисленному, стандарт IEEE 1233 выделяет следующие ошибки, которых необходимо избегать при определении требований. - Описание возможных решений вместо требований. Эта информация важна, но должна оформляться в отдельных документах.
- Слишком детальные спецификации, описывающие требования к слишком мелким элементам системы или описывающие требования, в точности соответствующие характеристикам определенных систем.
- Слишком сильные ограничения, не вытекающие из реальных потребностей.
- Нечеткие требования, которые могут быть непроверяемыми и субъективными ("минимизировать уровень погрешности", "удобный для пользователей интерфейс"), или сформулированы в виде, открытом для пополнения неопределенными элементами (с указанием "и т.д." или "включая, но не ограничиваясь следующим...").
- Несформулированные предположения о режимах работы, свойствах окружения, о готовности других систем или принятии законов и стандартов, находящихся в стадии разработки.
