Deriving homing sequences for Finite State Machines with timeouts

Deriving homing sequences for Finite State Machines with timeouts

State identification is the well-known problem in the automata theory that is aimed to determining the current or initial state of a system under test and this fact is widely used in the model-based testing of software and hardware systems. When modern systems are modeled, it is necessary to take in...

Полное описание

Библиографическая информация
Опубликовано в: :	The computer journal Vol. 66, № 9. P. 2181-2190
Главный автор:	Tvardovskii, Aleksandr
Другие авторы:	Yevtushenko, Nina V.
Формат:	Статья в журнале
Язык:	English
Предметы:	конечные автоматы с таймаутами установочные последовательности временные ограничения конечно-автоматная абстракция статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001007722

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

Conformance relations for finite state machines with timeouts
по: Kondratyeva, O.

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

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

Adaptive experiments for state identification in finite state machines with timeouts
по: Tvardovskii, Aleksandr

On the length of homing sequences for nondeterministic finite state machines
по: Kushik, Natalia G.

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

Экспериментальное сравнение качества тестов, построенных по UML-диаграммам на основе модели временного автомата
по: Галимуллин, Рустам Фанисович

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

Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability
по: Kushik, Natalia G.

Minimizing deterministic timed finite state machines

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

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

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

Homing sequence derivation with quantified boolean satisfiability

Refining the specification FSM when deriving test suites w.r.t. the reduction relation
по: Tvardovskii, Aleksandr

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

Some classes of finite state machines with polynomial length of distinguishing test cases
по: Yenigün, Hüsnü

Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов
по: Винарский, Евгений Максимович

Derivation of the cascade parallel composition of timed finite state machines using BALM-II
по: Gromov, Maxim L.

Testing components of interacting timed finite state machines
по: Gromov, Maxim L

Adaptive homing sequences for partial weakly-initialized observable FSMs
по: Vinarskii, Evgenii

Optimizing components of finite state machines composition based on don’t care input sequences in hardware implementation
по: Shirokova, Ekaterina V.

On using finite state machines for optimization and testing of SDN controllers
по: Berriri, A.

Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs
по: Hwang, Iksoon

Клеточные автоматы как модель реальности Поиски новых представлений физических и информационных процессов: Пер. с англ.
по: Беркович, Семен Яковлевич
Публикация: (1993)

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

On separating UML specified non-deterministic finite state machines with time-outs
по: Galimullin, Rustam

Improving protocol passive testing through "Gedanken" experiments with finite state machines

Checking robustness of web services based on the parallel composition of partial timed finite state machines
по: Shirokova, Ekaterina V.

Refining specifications in adaptive testing of nondeterministic finite state machines
по: Petrenko, Alexandre F.

Оптимизация бинарной композиции автоматов
по: Жарикова, С. В.

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

К установке сложных систем в известное состояние
по: Евтушенко, Нина Владимировна

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

Cryptanalytic concept of finite automaton invertibility with finite delay
по: Agibalov, G. P. 1939-2020

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

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

Использование временных автоматов при тестировании киберфизических систем
по: Громов, Максим Леонидович

Исследование отношений квазиэквивалентности, квазиредукции и квазимоделирования между автоматами
по: Ветрова, Мария Викторовна

Adaptive homing is in P
по: Kushik, Natalia G.