Модель: SSCM

Библиотека: StateGraph

Имя на уровне решателя: SSCM

Аннотация: Простая модель диаграммы состояний

Обозначение: FIXed ME

Описание модели

Порты (степени свободы) компонента:

Обозначение порта

Тип

Наименование порта

1

Port1

base.DOF1

Сигнальный входной порт (флаг включенной или выключенной машины)

2

Port2

base.DOF1

Сигнальный входной порт (вход текущего условия)

3

Port3

base.DOF1

Сигнальный выходной порт (номер текущего состояния)

4

Port4

base.DOF1

Сигнальный выходной порт (сигнал перехода в новое состояние)

Пользовательские параметры модели

Параметр

Тип

Описание

Значение по умолч.

1

Error

base.real

Погрешность чувствительности входных значений

2

IsActive

base.real

Флаг активности машины

3

S0_

base.real

Начальное состояние машины

4

Ta

base.real

Время удержания активного сигнала перехода

5

TruthTable

base.real

Таблица переходов

6

Ts

base.real

Время перехода состояния

Результаты тестирования
../../../../_images/logo_ru_no_text.png

www.laduga.com

Глава 1. Заданные параметры теста

Название тестируемого компонента

SSCM

Модуль тестируемого компонента

StateGraph

Дата тестирования

Thu Mar 12 16:50:27 2026

Результат

OK

Глава 2. Схема тестируемого объекта
Простая модель диаграммы состояний (SSCM).

Ts - Время перехода состояния
Ta - Время удержания активного сигнала перехода
IsActive - Флаг активности машины
S0 - Начальное состояние машины
Error - Погрешность чувствительности входных значений
TruthTable - Таблица переходов
../../../../_images/SSCM.sch.png

Рисунок 1 - Схема теста

Глава 3. Графики результатов теста
../../../../_images/SSCM.RUN.png

Рисунок 2 - SSCM.RUN

../../../../_images/SSCM.Check1.png

Рисунок 3 - SSCM.Check1