Справочная таблица: Спецификация требований к программному обеспечению

В спецификациях должны быть правильно описаны требования к набору функций, внешним интерфейсам, производительности, атрибутам и ограничениям на способ реализации.

Набор функций: что должно делать программное обеспечение?

Внешние интерфейсы: как программное обеспечение взаимодействует с пользователями, аппаратным обеспечением и другим программным обеспечением?

Производительность: каковы производительность, коэффициент готовности и время восстановления работоспособности различных функций?

Атрибуты: выполнены ли требования, предъявляемые к переносимости, корректности, простоте обслуживания, защищенности и другим параметрам приложения?

Ограничения на способ реализации: требуется ли соблюдение каких-либо стандартов в отношении языка реализации, стратегии обеспечения целостности базы данных, выбора рабочей среды и т.п.?

Предъявляются ли какие-либо требования, выходящие за рамки спецификаций требований к программному обеспечению?

Данное условие означает, что спецификации требований к программному обеспечению должны соответствовать следующим критериям:

Точно задавать все требования, предъявляемые к программному обеспечению
Не содержать никаких указаний относительно особенностей проектирования и реализации
Не устанавливать дополнительные ограничения для программного обеспечения

Установлены ли в спецификациях требований к программному обеспечению рациональные ограничения на особенности проектирования программного обеспечения, оставляющие при этом свободу выбора конкретного проекта?

Определены ли в спецификациях требований к программному обеспечению основные характеристики системы?

Корректность: действительно ли должны быть выполнены те и только те требования, которые указаны в спецификациях требований к программному обеспечению? Непротиворечивость

Верно ли то, что каждое требование можно интерпретировать одним единственным способом? Написаны ли требования языком заказчика? Сопровождаются ли описания поясняющими и уточняющими диаграммами?

Полнота

Включены ли в спецификации все существенные требования, относящиеся к набору функций, производительности, атрибутам и внешним интерфейсам? Исследованы ли все возможные диапазоны входных значений во всех режимах работы системы? Предусмотрена ли реакция системы не только на допустимые, но и на недопустимые входные значения? Приведены ли на всех рисунках, в таблицах и на диаграммах определения или ссылки на определения терминов, масштабы и единицы измерения? Устранены ли все неопределенности?

Целостность

Соответствуют ли спецификации требований к программному обеспечению видению системы, модели прецедентов и дополнительным спецификациям? Согласованы ли они со спецификациями более высокого уровня? Соблюдена ли внутренняя целостность спецификаций (отсутствие конфликтов между требованиями)?

Возможность упорядочить требования по важности

Указаны ли относительная важность или обязательность для каждого отдельного требования? Известны ли все атрибуты, существенно влияющие на приоритет требований?

Проверяемость соответствия

Можно ли проверить соответствие системы каждому из требований, указанных в спецификациях? Существует ли конечный процесс, позволяющий человеку или компьютеру с небольшими затратами проверить соответствие программного обеспечения требованию.

Изменяемость

Предусмотрен ли простой, удобный и целостный способ изменения требований без влияния на общую структуру и стиль спецификаций? Устранено ли дублирование требований?

Прослеживаемость

Присвоен ли каждому требованию уникальный идентификатор? Известно ли происхождение всех требований? Обеспечивается ли прослеживаемость требований в виде явных ссылок на более ранние артефакты? Обеспечена ли достаточная прослеживаемость вперед для артефактов, порождаемых спецификациями требований к программному обеспечению?