§ 4.2. Особенности применения std диаграмм

Часто при разборе тестирования на основе состояний, возникает вопрос: «Как различить состояние, событие и действие?» Основные отличия следующие:

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

• Событие происходит либо сразу, либо в ограниченный, конечный период времени. Это что-то, что наступает, происходит вне, – и вызывает переход.

• Действие – это ответ системы во время перехода. Действие, как и событие, либо мгновенно, либо требует ограниченного, конечного времени.

Известно, что иногда одну ситуацию можно отразить по-разному, особенно когда одно состояние или действие может быть разбито на последовательность элементарных состояний, событий и действий. Чуть позже рассмотрим такой случай на примере разбиения состояния оплаты на подсостояния.

И наконец, заметим, что, как было заявлено в самом начале, диаграмма нарисована с точки зрения клиента. Если изобразить ее с точки зрения системы, то она выглядела бы по-другому. Поддержание постоянной и единой точки зрения критично для изображения таких диаграмм, иначе будут происходить абсурдные вещи.

При построении STD рекомендуется следовать нижеперечисленным правилам:

• строить STD на как можно более высоком уровне детализации DFD;

• строить как можно более простые STD;

• по возможности детализировать STD;

• использовать те же принципы именований состояний, событий и действий, что и при именовании процессов и потоков.

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

• все ли состояния определены и имеют уникальное имя?

• все ли состояния достижимы?

• все ли состояния имеют выход?

• (для каждого состояния) реагирует ли система соответствующим образом на все возможные условия (особенно на ненормальные)?

• все ли входные (выходные) потоки управляющего процесса отражены в условиях (действиях) на STD?

Таблица 4.1

ТЕКУЩЕЕ СОСТОЯНИЕ	УСЛОВИЕ	ДЕЙСТВИЕ	СЛЕДУЮЩЕЕ СОСТОЯНИЕ
начальное состояние	активируется каждый раз	-	ОЖИДАНИЕ
ОЖИДАНИЕ	введенная кредитная карта	получить пароль	ОБРАБОТКА
ОБРАБОТКА	некорректный пароль	удалить кредитную карту	ОЖИДАНИЕ
ОБРАБОТКА	корректный пароль	обеспечить требуемый сервис удалить кредитную карту	ОЖИДАНИЕ

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

Матрица переходов состояний содержит по вертикали перечень состояний системы, а по горизонтали список условий. Каждый ее элемент содержит список действий, а также имя состояния, в которое осуществляется переход. Используется и другой вариант данной нотации: по вертикали указываются состояния, из которых осуществляется переход, а по горизонтали - состояния, в которые осуществляется переход. При этом каждый элемент матрицы содержит соответствующие условия и действия, обеспечивающие переход из “вертикального” состояния в “горизонтальное” [40].