Корректность (правильность) требований
Требования правильны тогда и только тогда, когда все заявленные в них требования отражают реальные потребности заказчика и могут быть реализованы в будущем продукте.
Например, если А – потребности пользователя, В – сформулированные требования, то корректные требования находятся на пересечении А и В (рис. 3.1).
Рис. 3.1. Взаимозависимость потребностей пользователя, сформулированных требований и корректных требований
Недвусмысленность требований
Требование является недвусмысленным, когда его могут однозначно интерпретировать разработчик и заказчик.
Основными трудностями в формулировании требований часто является естественный язык, на котором они написаны. Так как естественный язык неоднозначен, это порождает множество проблем при формулировании однозначных требований. Для решения этой проблемы были придуманы специальные формализованные языки, называемые «языками спецификации требований», которые помогают разработчику описать требования однозначно.
Полнота набора требований
Спецификация требований к ПО является полной, когда она удовлетворяет следующим критериям.
Содержит все существенные требования, касающиеся функциональных возможностей, выполнения, ограничений проектирования, характеристик или внешних интерфейсов. В частности, любые внешние требования, накладываемые спецификацией системы, должны быть выявлены и рассмотрены.
Содержит все реакции программного обеспечения на все возможные типы входных данных во всех возможных ситуациях. Важно определить реакции, как на допустимые значения данных, так и на недопустимые.
Содержит все подписи и ссылки на все рисунки, таблицы и диаграммы и определение всех терминов и единиц измерения.
Непротиворечивость требований
Спецификация требований к ПО непротиворечива тогда и только тогда, когда каждое заявленное требование не противоречит ни одному другому требованию.
Например, следующие характеристики объектов находятся в противоречии друг с другом:
выходной отчет может быть описан в одном требовании как табличный, а в другом как – текстовый.
одно требование может установить, что все индикаторы должны быть зеленого цвета, а другое требование – что голубого.
Другим примером является наличие логического или временного конфликта между двумя указанными действиями:
Одно требование может определить, что программа должна складывать две входных величины, другое – умножать их.
Одно требование устанавливает, что событие А должно всегда следовать за событием В, в то время как другое требование устанавливает, что события А и В происходят одновременно.
Упорядоченность по важности и/или стабильности
Для улучшения восприятия и последующей работы с требованиями их следует упорядочить по важности и/или стабильности.
Под стабильностью понимают степень изменяемости требования во времени, а под важностью понимают степень необходимости требования, например: обязательное требование, условное, необязательное.