Использование временных автоматов при тестировании киберфизических систем

Использование временных автоматов при тестировании киберфизических систем

Библиографическая информация
Опубликовано в: :	Известия высших учебных заведений. Физика Т. 59, № 12. С. 174-176
Главный автор:	Громов, Максим Леонидович
Другие авторы:	Евтушенко, Нина Владимировна, Лапутенко, Андрей Владимирович
Формат:	Статья в журнале
Язык:	Russian
Предметы:	конечные автоматы временные автоматы киберфизические системы микроконтроллеры тестирование статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001142248

Похожие документы

О минимизации временных автоматов
по: Твардовский, Александр Сергеевич

О возможностях автоматного описания параллельной композиции временных автоматов
по: Твардовский, Александр Сергеевич

Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
по: Твардовский, Александр Сергеевич

К минимизации автоматов с таймаутами
по: Твардовский, Александр Сергеевич

Параллельная композиция временных автоматов
по: Кондратьева, Ольга Викторовна

Параллельная композиция конечных автоматов с таймаутами
по: Кондратьева, Ольга Викторовна

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
по: Громов, Максим Леонидович
Публикация: (2009)

Testing microcontroller based physical systems using finite transition models
по: Laputenko, Andrey V.

Тестирование системы автоматов
по: Бурдонов, Игорь Борисович

Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика"
по: Дмитриев, И. М.

Оценка полноты проверки при пассивном тестировании на основе автоматной модели
по: Жигулин, Максим Владимирович

Определение временных характеристик автомата, описывающего систему "Микроконтроллер-программа"
по: Бабенко, Юрий Дмитриевич

Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде
по: Белых, Виталий Сергеевич

A practical approach for testing timed deterministic finite state machines with single clock
по: El-Fakih, Khaled

Минимизация временных автоматов с таймаутами
по: Кондратьева, Ольга Викторовна

Использование свойств мутационных автоматов для минимизации проверяющих тестов
по: Эль-Факи, Калед

Minimizing deterministic timed finite state machines

FSM-based testing from user defined faults adapted to incremental and mutation testing

Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
по: Жигулин, Максим Владимирович

Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
по: Твардовский, Александр Сергеевич
Публикация: (2019)

Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
по: Громов, Максим Леонидович

Программная реализация преобразования глобального полуавтомата во временной автомат
по: Сотников, Александр Павлович

Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
по: Твардовский, Александр Сергеевич

Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов

К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов

Некоторые задачи идентификации состояний для недетерминированных автоматов
по: Евтушенко, Нина Владимировна
Публикация: (2018)

Generating checking sequences for nondeterministic finite state machines
по: Petrenko, Alexandre F.

Минимизация автоматов с таймаутами и временными ограничениями
по: Твардовский, Александр Сергеевич

Об обратимости конечных автоматов с конечной задержкой
по: Катеринский, Денис Аркадьевич

Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов
по: Твардовский, Александр Сергеевич

Experiments on parallel composition of timed finite state machines
по: Sotnikov A. P.

О сложности проверки существования установочных последовательностей для недетерминированных автоматов
по: Кушик, Наталья Геннадьевна

Deriving tests with guaranteed fault coverage for finite state machines with timeouts
по: Tvardovskii, Aleksandr

Решение автоматных уравнений для временных автоматов относительно параллельной композиции
по: Кондратьева, Ольга Викторовна

К верификации логических схем на основе временных автоматов
по: Кидярова, Галина Владимировна

Частные решения уравнений для временных автоматов с таймаутами
по: Кондратьева, Ольга Викторовна

Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
по: Твардовский, Александр Сергеевич

К построению параллельной композиции расширенных автоматов
по: Широкова, Екатерина Владимировна

Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
по: Жигулин, Максим Владимирович
Публикация: (2012)

Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
по: Куфарева, Ирина Борисовна
Публикация: (2000)