Корректность: действительно ли должны быть выполнены те и только те требования, которые указаны в спецификациях
требований к программному обеспечению?
Непротиворечивость
Верно ли то, что каждое требование можно интерпретировать одним единственным способом? Написаны ли требования
языком заказчика? Сопровождаются ли описания поясняющими и уточняющими диаграммами?
Полнота
Включены ли в спецификации все существенные требования, относящиеся к набору функций, производительности, атрибутам
и внешним интерфейсам? Исследованы ли все возможные диапазоны входных значений во всех режимах работы
системы? Предусмотрена ли реакция системы не только на допустимые, но и на недопустимые входные значения?
Приведены ли на всех рисунках, в таблицах и на диаграммах определения или ссылки на определения терминов, масштабы
и единицы измерения? Устранены ли все неопределенности?
Целостность
Соответствуют ли спецификации требований к программному обеспечению видению системы, модели прецедентов и
дополнительным спецификациям? Согласованы ли они со спецификациями более высокого уровня? Соблюдена ли внутренняя
целостность спецификаций (отсутствие конфликтов между требованиями)?
Возможность упорядочить требования по важности
Указаны ли относительная важность или обязательность для каждого отдельного требования? Известны ли все атрибуты,
существенно влияющие на приоритет требований?
Проверяемость соответствия
Можно ли проверить соответствие системы каждому из требований, указанных в спецификациях? Существует ли конечный
процесс, позволяющий человеку или компьютеру с небольшими затратами проверить соответствие программного обеспечения
требованию.
Изменяемость
Предусмотрен ли простой, удобный и целостный способ изменения требований без влияния на общую структуру и стиль
спецификаций? Устранено ли дублирование требований?
Прослеживаемость
Присвоен ли каждому требованию уникальный идентификатор? Известно ли происхождение всех требований? Обеспечивается
ли прослеживаемость требований в виде явных ссылок на более ранние артефакты? Обеспечена ли достаточная
прослеживаемость вперед для артефактов, порождаемых спецификациями требований к программному обеспечению?