Модель: Timer
Библиотека: StateGraph
Имя на уровне решателя: TM
Аннотация: Модель таймера
Обозначение:
Описание модели
№ |
Обозначение порта |
Тип |
Наименование порта |
|---|---|---|---|
1 |
Port1 |
base.DOF1 |
Сигнальный входной порт |
2 |
Port2 |
base.DOF1 |
Сигнальный выходной порт |
№ |
Параметр |
Тип |
Описание |
Значение по умолч. |
|---|---|---|---|---|
1 |
Stub |
base.real |
Заглушка |
Результаты тестирования
www.laduga.com
Глава 1. Заданные параметры теста
Название тестируемого компонента
Timer
Модуль тестируемого компонента
StateGraph
Дата тестирования
Thu Mar 12 16:48:57 2026
Результат
OK
Глава 2. Схема тестируемого объекта
Модель таймера
В системе используется источник сигнала в виде кусочно-линейной функции,
данные для которой подгружаются из внешнего файла.
Такой сигнал формирует входные импульсы, которые подаются на модель таймера.
Модель таймера начинает отсчёт времени в момент появления входного импульса.
Пока на входе присутствует активный сигнал, таймер увеличивает своё значение и показывает,
сколько времени прошло с момента начала импульса.
Когда входной сигнал прекращается, значение таймера сбрасывается.
Параметр модели:
Stub — заглушка, служебный параметр, который используется для настройки или тестирования модели.
По результатам работы видно, что таймер корректно реагирует на входные импульсы.
В момент появления сигнала начинается рост выходного значения —
таймер начинает отсчитывать время.
Когда импульс заканчивается, значение таймера обнуляется
и при следующем импульсе отсчёт начинается заново.
График показывает, что модель стабильно и правильно определяет длительность
каждого входного импульса, что подтверждает корректную работу таймера.
Рисунок 1 - Схема теста
Глава 3. Графики результатов теста
Рисунок 2 - Timer.RUN
Рисунок 3 - Timer.Check1