Системные требования - это более детализированное описание пользовательских требований. Они обычно служат основой для заключения контракта на разработку программной системы и поэтому должны представлять максимально полную спецификацию системы в целом. Системные требования также используются в качестве отправной точки на этапе проектирования системы.
Спецификация требований может строиться на основе различных системных моделей, таких, как объектная модель или модель потоков данных.
Разработаны методы описания требований, которые структурируют спецификацию и уменьшают размытость определений.
Система записи
Описание
Структурированный естественный язык
Использование стандартных форм и шаблонов для написания спецификаций
Языки описания программ
Использование специальных структурированных языков, подобных языкам программирования, где спецификация требований строится на основе выбранной операционной модели системы
Это системы нотаций, основанные на математических концепциях, таких, как теория конечных автоматов или теория множеств
Структурированный язык спецификаций
Это сокращённая форма естественного языка, предназначенная для написания спецификаций. Такой подход сохраняет выразительность и понятность естественного языка и вместе с тем формализует описание требований.
Стандартные формы, используемые для специфицирования функциональных требований, должны содержать следующую информацию.
Описание функции или объекта.
Если это спецификация функции, необходимо описание предварительных условий (предусловий), которые должны выполняться перед вызовом функции, и описание заключительного условия (постусловия), которое должно быть выполнено после завершения выполнения функции.