Валидация сценариев требований

Рассматривается подход к проверке требований, которые заданы в модели требований, построенной с использованием сценариев и акторов, как внешней сущности по отношению к разрабатываемой системе [6.21].

Сценарий после трансформации - это последовательность взаимодействий между одним или несколькими акторами и системой, в которой актор выполняет цели сценария при взаимодействии с ней. В модели требований сценарий задает несколько альтернативных событий, заданных на языке диаграмм UML. Они разделяются на функциональные (системные) и внутренние, определяющие поведение системы. На основе описания сценарных требования проводится их валидация.

Валидация требований - это процесс выявления ошибок в представлении сценарных требований, он итерационный и состоит из следующих шагов:

1. Формализованное описание требований в виде сценариев;

2. Создание исполняемой модели требований;

3. Создание специальных сценариев для валидации требований;

4. Применение валидационных сценариев к модели требований;

5. Оценивание результатов поведения модели требований;

6. Проверка условий завершения процесса валидации и при обнаружении каких-либо неточностей проводится повторение шагов, начиная с п. 2.

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

Входная информация для синтеза сценариев - сценарная модель задается на языке взаимодействия и приведена на рис. 6.3.

Эта информация используется при генерации дополнительных сценариев в целях улучшения процесса валидации, автоматического синтеза сценариев модели и получения модели поведения системы.

Модель проверяется неполноту исходных требований или противоречия в требованиях с помощью тестов и модели ошибок.

Рис. 6.3.Валидация сценариев требований к системе

Автоматический синтез основан на следующих процедурах:

· валидация требований путем исполнения валидационных сценариев;

· добавление проверенных сценариев к набору валидационных сценариев и их использование как входных данных для синтеза;

· поиск ошибок в сценариях и проверка разных композиций сценариев.Синтез спецификаций сценариев, заданных диаграммами взаимодействия, может проводиться в среде системы Rational Rose.