2.7 Определите режимы работы системы

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

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

Режимы работы системы в части функций регулирования температуры термостата инкубатора показаны на рисунке 9.

Система запускается в режиме инициализации (INIT) при включении питания и остаётся в этом режиме до тех пор, пока статус переключателя (показанный в таблице 6) не поменяется на Актуальный (Valid).

Это происходит, когда регулятор завершил инициализацию и прошёл все самопроверки (то есть переменная «‎Внутренний сбой регулятора"‎, как показано на рисунке 7, имеет значение False) и успешно определил все измеряемые переменные («‎Сбой интерфейса регулятора», как показано на рисунке 7, имеет значение False, а статус атрибута «‎Текущая температура» имеет значение Valid (Актуальна‎)‎).

На этом этапе регулятор переходит в обычный режим работы (NORMAL), в котором обычно остается до тех пор, пока система не будет выключена. Если система не завершает свою инициализацию в течение указанного периода ожидания или если «Статус регулятора» принимает значение False во время работы в обычном режиме, функция переходит в режим сбоя (FAILED), в котором она остается до тех пор, пока не будет перезапущено питание (выключено и включено). Аналогичный набор режимов определён для функции отслеживания температуры.

Диаграммы переходов состояний, как на рисунке 9, являются популярным способом указания режимов системы [42]. При этом слишком сложные диаграммы могут указывать на то, что в спецификацию требований были включены проектные решения, которые стоит пересмотреть.

Режимы работы системы должны быть определены только для выявления внешне видимых разрывов в поведении системы. Это позволяет записать требования в следующей форме:

• «‎Если система находится в режиме инициализации, изменяемая переменная должна быть установлена на …"‎
• «‎Если система находится в сбойном режиме, изменяемая переменная должна быть установлена на …"‎

Это также упростит проверку требований на полноту и последовательность (дополнительные примеры смотрите в разделе 2.8).

В следующем разделе мы рассмотрим детальные требования к поведению системы и её работе.