Диаграммы переходов состояний (SDT)

SDT демонстрирует поведение разрабатываемой программной системы при получении управляющих воздействий (извне).

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

а б в

Рис. 4. Условные обозначения диаграмм переходов состояний:

а - терминальное состояние; б - промежуточное состояние; в - переход

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

Рис. 5. Диаграмма переходов состояний программного обеспечения, активно не взаимодействующего с окружающей средой

На рис. 6 представлена диаграмма переходов торгового автомата активно взаимодействующего с покупателем.

Рис. 6. Диаграмма переходов состояний торгового автомата

Рассмотрим диаграмму переходов состояний для програм­мы построения графиков функций одной переменной, техническое задание на которую представлено в приложении 2 к лабораторной работе №1. Программа относится к классу интерактивных, соответственно на этапе анализа и определения спецификаций целесообразно уточнить поведение программы на уровне интерфейса с пользователем. Характерной особенностью интерактивного программного обеспечения является наличие состояния ожидания, когда программное обеспечение приостанавливает работу до получения очередно­го управляющего воздействия.

Рис 7. Диаграмма переходов состояний программы построения графиков/таблиц функций