Корректность и согласованность (непротиворечивость)

Корректность – точность описания функциональности.

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

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

Верифицируемость (пригодность к проверке).

Все признаки (свойства) требований являются зависимыми. В математической статистике такие признаки называются коррелируемыми.

Свойство верифицируемости существенно связано со свойствами ясности и полноты: если требование изложено на языке, понятном и одинаково воспринимаемом участником процесса создания информационной системы, причем оно является полным, т.е. ни одна из важных для реализации деталей не упущена – значит, это требование можно проверить.

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

Требования к системе представляют основу контракта между заказчиком и исполнителем.

Если данные требования нельзя проверить – значит, и контракт не имеет никакого смысла, следовательно, успех или неудача проекта будут зависеть только от эмоциональных оценок сторон и их способности договориться, а это – слишком шаткая основа для осуществления работ.