Проверяемые требования

Каждое требование к программному обеспечению должно быть проверяемым (тестируемым). Требование в целом является проверяемым тогда и только тогда, когда каждое из его элементарных требований является проверяемым (тестируемым). Элементарное требование считается проверяемым тогда и только тогда, когда существует конечный финансово эффективный процесс, с помощью которого человек или машина могут определить, что разработанная программная система действительно удовлетворяет данному требованию [4]. Здесь под элементарным требованием понимается требование более низкого уровня абстракции, связанное с требованием в целом посредством трассировки или отношения «родитель-потомок». Например, проверить вариант использования можно с помощью проверки системных функций, которые реализуют описанную в сценарии последовательность шагов. Проблему тестирования требований можно решать с помощью их согласования инженером по тестированию в ходе просмотра спецификаций или решения вопросов на семинаре. Тестовые сценарии (test cases) также позволяют оценить возможность проверки требований.

Прослеживаемые требования

Требование в целом является прослеживаемым тогда и только тогда, когда ясно происхождение составляющих его элементарных требований и существует механизм, который делает возможным обращение к этому требованию при дальнейших действиях по разработке [4]. Прослеживаемость осуществляется за счет установления отношения между связанными требованиями посредством трассировки. Для того чтобы быть прослеживаемым, каждое требование должно содержать уникальный идентификатор. Современные автоматизированные средства для работы с требованиями автоматически назначают созданному требованию уникальный идентификатор. Трассировка необходима для отслеживания зависимостей требований друг от друга в тех случаях, когда изменение одного требования может повлиять на другие требования. Некоторые формулировки требований могут уточняться «дочерними» требованиями, для которых возможность трассировки является очевидным свойством. Для представления трассировки между требованиями используются матрица трассировки. Необходимые в проекте матрицы трассировки и правила отношений между требованиями определяются в плане управления требованиями.

Модифицируемые требования

Множество требований являются модифицируемыми тогда и только тогда, когда его структура и стиль таковы, что любое изменение требований можно произвести просто, полно и согласованно, не нарушая существующей структуры и стиля всего множества [4]. Для решения проблемы модифицируемости требований необходимо применять их структуризацию по пакетам (в случае использования инструментальных средств) или по разделам (в случае описания в документах). Пакет должен иметь минимальную избыточность и быть хорошо организованным. Модифицируемость позволяет не менять структуры пакетов требований в случае изменения требований.

Понимаемые требования

Множество требования является понимаемым, если пользователи и разработчики способны прийти к полному согласию относительно отдельных требований и общих функциональных возможностей, подразумеваемых данным множеством [4]. Проблема понятности требований обычно возникает при разработке детальных спецификаций требований, которые согласуются заказчиком. Спецификация с детальными требованиями содержит большое количество технических терминов и специфики разработки программного обеспечения. Заказчик, незнакомый с нюансами разработки программных систем, может столкнуться с проблемой понимания. Для решения данной проблемы обязательным является наличие общего словаря терминов, к которому проверяющий может обратиться в любой момент. Использование моделей и графических диаграмм также позволяет снизить проблему непонимания требований. Необходимо заметить, что данный критерий качества тесно связан с однозначностью требований. Иногда требования может быть неоднозначно сформулировано, что и приводит к его непониманию. Понятность требований также влияет на процедуру согласования и утверждения спецификации требований заказчиком. Если требования в спецификации непонятны заказчику, и их необходимо переписывать, процедура повторных согласований может затянуться на неопределенный срок, что может привести к срыву проекта, особенно в схемах, когда заказчик по спецификации выбирает одного исполнителя из нескольких.