Методы и средства инженерии программного обеспечения



         

Верификация и формализация требований - часть 2


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

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

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




Содержание  Назад  Вперед