Deriving checking sequences for nondeterministic FSMs

Most FSM based methods for test derivation are developed for initialized Finite State Machines (FSM) and the latter means that a reliable reset is assumed in an implementation under test in order to glue test sequences together. If the reset is rather expensive then the number of test sequences has...

Full description

Bibliographic Details
Published in:	Труды Института системного программирования РАН
Main Author:	Anton Ermakov
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	синтез тестов недетерминированный автомат отношение редукции
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/867

Similar Items

Deriving adaptive checking sequence for nondeterministic Finite State Machines
by: A. D. Ermakov, et al.
Published: (2018-10-01)

Checking experiments with non-observable tree FSMs
by: N. . Kushik
Published: (2018-10-01)

FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts
by: Aleksandr Sergeevitch Tvardovskii, et al.
Published: (2019-10-01)

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions
by: M. S. Lebedev, et al.
Published: (2018-10-01)

STRUCTURAL STATE MACHINES IN THE FORM OF THE TENSORS OF THE THIRD RANK SUDOKU TYPE
by: Юрий Михайлович Пенкин, et al.
Published: (2019-12-01)

On the model checking of finite state transducers over semigroups
by: A. R. Gnatenko, et al.
Published: (2018-10-01)

Test Readability Optimization in Context of Symbolic Execution
by: I. A. Yakimov, et al.
Published: (2018-10-01)

Deriving adaptive distinguishing sequences for Finite State Machines
by: A. S. Tvardovskii, et al.
Published: (2018-10-01)

Locating a faulty component of an EFSM composition
by: Svetlana Prokopenko
Published: (2018-10-01)

On the Designing of Model Checkers for Real-Time Distributed Systems
by: D. Yu. Volkanov, et al.
Published: (2012-01-01)

Combinatorial generation of operation system software configurations
by: V. V. Kuliamin
Published: (2018-10-01)

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs
by: I. . Melnichenko, et al.
Published: (2018-10-01)

«Life» in Tensor: Implementing Cellular Automata on Graphics Adapters
by: Natalia Andreevna Shalyapina, et al.
Published: (2019-09-01)

Дослідження методу асинхронних клітинних автоматів при застосуванні в задачах теплопровідності
by: Шумиляк Л.М., et al.
Published: (2018-03-01)

Анализ состояния межбюджетных отношений в казахстане на современном этапе
by: К. С. Мухтарова,, et al.
Published: (2015-09-01)

COMPUTER MODELING OF MUTUAL DIFFUSION OF TWO-COMPONENT MEDIUM
by: Aleksandr V Nazarov
Published: (2017-12-01)

Assessing the Equivalence of Computerized and Conventional Versions of Psychological Tests
by: Дарья С. Гнедых
Published: (2020-05-01)

Graph learning by a set of automata
by: Igor Burdonov, et al.
Published: (2018-10-01)

Измерение неопределенности в гетерогенной информационной системе
by: Д. И. Атласов
Published: (2025-05-01)

Використання кліткового автомату у методі вибору варіанту маршруту польоту ударних літаків щодо ураження наземних цілей
by: Воробйов Є.С., et al.
Published: (2018-03-01)

A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators
by: V. V. Podymov, et al.
Published: (2018-10-01)

How the story of UniTESK technology applications mirrors development of model based testing
by: V. P. Ivannikov, et al.
Published: (2018-10-01)

МОДИФІКОВАНИЙ АЛГОРИТМ РОЗГОРТАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ З ВИКОРИСТАННЯМ БАГАТОПОТОЧНОСТІ
by: Nataliia Khatsko, et al.
Published: (2024-12-01)

On Definability of Universal Graphic Automata by Their Input Symbol Semigroups
by: Renat Abuhanovich Farakhutdinov, et al.
Published: (2020-03-01)

Використання кліткових автоматів у методі ранжування варіантів маршруту польоту ударних літаків для ураження наземних цілей
by: Воробйов Є.С.
Published: (2018-05-01)

МУЗИЧНО-ТАНЦЮВАЛЬНИЙ СИНТЕЗ: ПЕРЕВАГИ ТА ВИКЛИКИ ДВОХ МИСТЕЦТВ
by: Захар Валерійович Омельяненко
Published: (2024-01-01)

ADVERRTISING IN A CRUTIAL PERIOD: INTERNATIONAL ADVERTISING IN OUR DAYS
by: L N Fedotova
Published: (2016-12-01)

“Михтиму” або неперевершеному Калашникову – 100
by: Семенюк В.І., et al.
Published: (2019-09-01)

Особенности коллоидно-химического синтеза люминофоров на основе алюмината стронция, активированного ионами церия и марганца
by: Gvidona P. Shevchenko, et al.
Published: (2024-03-01)

Features of the self-relation and of the selfefficacy as predictors of personal enemy’ images
by: Валерия Дмитриевна Альперович
Published: (2015-03-01)

The final models of specification
by: Igor Bourdonov, et al.
Published: (2018-10-01)

Evolution of UniTESK Test Development Technology
by: V. Kuliamin, et al.
Published: (2018-10-01)

Generation of the weakest preconditions of programs with dynamic memory in symbolic execution
by: A. V. Misonizhnik, et al.
Published: (2024-12-01)

THE LEVELS OF RELATIONSHIPS IN THE CORPORATE CULTURE OF MANAGEMENT
by: A. A. Shkunova, et al.
Published: (2017-09-01)

Особенности воспитания в семье детей с психическими нарушениями
by: S. K. Kudaibergenova, et al.
Published: (2012-04-01)

Особенности воспитания в семье детей с психическими нарушениями
by: S. K. Kudaibergenova, et al.
Published: (2012-04-01)

Връзката образование отношение към риска в земеделското производство в България (на примера на област Добрич)
by: Таня Георгиева
Published: (2010-04-01)

ПЕРВЫЕ ШАГИ КАФЕДРЫ МЕЖДУНАРОДНОГО ПРАВА
by: S. ZH. Aydarbayev
Published: (2016-03-01)

Formation of Motivational and Value Attitude of Pupils to their Health: Gender Approach
by: R M Davletshina
Published: (2012-12-01)

Verified program code execution system prototype
by: A. V. Kozachok, et al.
Published: (2018-10-01)