Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Nina Vladimirovna Yevtushenko"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 27, Iss 4, Pp 376-395 (2020)
State identification is the well-known problem in the theory of Finite State Machines (FSM) where homing sequences (HS) are used for the identification of a current FSM state, and this fact is widely used in the area of software and hardware testing
Externí odkaz:
https://doaj.org/article/6f14f6811a2b499cb651d044ce3f1ecc
Publikováno v:
Proceedings of the Institute for System Programming of the RAS. 34:159-172
The paper discusses the execution of a program of tasks on the SDN data plane, modeled by a finite connected undirected graph of physical connections; the execution is understood in the sense of the object-oriented programming paradigm as consisting
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4456efaadbfb22fc97a5dfd464096616
https://doi.org/10.15514/ispras-2022-34(3)-11
https://doi.org/10.15514/ispras-2022-34(3)-11
Publikováno v:
Proceedings of 24th Scientific Conference “Scientific Services & Internet – 2022”.
The paper is devoted to deriving finite test suites with guaranteed fault coverage for Input / Output automata using the ‘black-box’ model when only the upper bound on the number of states of an implementation automaton under test is known but th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::be25cfcb0acd7872add87b6f78e256af
https://doi.org/10.20948/abrau-2022-25
https://doi.org/10.20948/abrau-2022-25