Výsledky vyhledávání - "Victor V. Kuliamin"

Akademický článek

Model Based Testing Framework Using Component Technologies

Autor: Victor V. Kuliamin.

Publikováno v: Труды Института системного программирования РАН, Vol 18, Iss 0 (2018)

The article presents a component-based approach to construction of a model based testing framework. The main idea underlying the approach is non-invasive composition, which allows integration of a set of components along with their further reconfigur

Externí odkaz: https://doaj.org/article/899c35549c8c474098a4dbae71b1d94b

Zobrazit plný text záznamu

Evaluating the complexity of deriving adaptive $$S'$$-homing and $$S'$$-synchronizing sequences for nondeterministic FSMs

Autor: Victor V. Kuliamin, Nina Yevtushenko, Natalia Kushik

Publikováno v: Software Quality Journal. 30:161-180

Homing and synchronizing sequences (HSs and SSs) are used in Finite State Machine (FSM)-based testing for state identification when deriving a test suite with guaranteed fault coverage or when performing a non-intrusive (passive) testing or monitorin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1ca9658b77f8c4439ec569111cc7f0cb
https://doi.org/10.1007/s11219-021-09548-z

Zobrazit plný text záznamu

Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs

Autor: Igor Burdonov, A. N. Tomilin, A. S. Kossatchev, Victor V. Kuliamin, V Z Shnitman

Publikováno v: Труды Института системного программирования РАН, Vol 30, Iss 1, Pp 69-88 (2018)

The paper provides a review of distributed graph algorithms research conducted by authors. We consider an asynchronous distributed system model represented by a strongly connected directed rooted graph with bounded edge capacity (in a sense that only

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59d4569972414894fc9a0c5dccae12bf
https://doi.org/10.15514/ispras-2018-30(1)-5

Zobrazit plný text záznamu

Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMs

Autor: Natalia Kushik, Nina Yevtushenko, Victor V. Kuliamin

Publikováno v: Lecture Notes in Computer Science
ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems
ICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.86-103, ⟨10.1007/978-3-030-31280-0_6⟩
Testing Software and Systems ISBN: 9783030312794
ICTSS

Part 2: Test Case Generation; International audience; Homing, synchronizing and distinguishing sequences (HSs, SSs, and DSs) are used in FSM (Finite State Machine) based testing for state identification and can significantly reduce the size of a retu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a73cf3e1d283160cb20339419a5e2550
https://hal.archives-ouvertes.fr/hal-02448916

Zobrazit plný text záznamu

Towards the Usage of MBT at ETSI

Autor: Victor V. Kuliamin, Milan Zoric, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Jens Grabowski

Publikováno v: MBT
Electronic Proceedings in Theoretical Computer Science, Vol 111, Iss Proc. MBT 2013, Pp 30-34 (2013)

In 2012 the Specialists Task Force (STF) 442 appointed by the European Telcommunication Standards Institute (ETSI) explored the possibilities of using Model Based Testing (MBT) for test development in standardization. STF 442 performed two case studi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7237861d12a2424c1be289d772fd7fba
https://doi.org/10.4204/eptcs.111.3

Zobrazit plný text záznamu

Using Refinement in Formal Development of OS Security Model

Autor: Alexey Khoroshilov, Alexander K. Petrenko, Ilya V. Shchepetkov, Victor V. Kuliamin, Petr N. Devyanin

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319415789
Ershov Memorial Conference

The paper presents work in progress on formal development of an operating system security model for the purpose of its deductive verification. We consider two approaches to formalize the security model. The first one is to build a monolithic model, a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::029c20d9f49fa6aeb026218fd6cbebd2
https://doi.org/10.1007/978-3-319-41579-6_9

Zobrazit plný text záznamu

A survey of methods for constructing covering arrays

Autor: Victor V. Kuliamin, A. A. Petukhov

Publikováno v: Programming and Computer Software. 37:121-146

The paper presents a survey of methods for constructing covering arrays used in generation of tests for interfaces with a great number of parameters. The application domain of these methods and algorithms used in them are analyzed. Specific character

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a2f06cd7bf823b957fbc67749bc02dc6
https://doi.org/10.1134/s0361768811030029

Zobrazit plný text záznamu

Component architecture of model-based testing environment

Autor: Victor V. Kuliamin

Publikováno v: Programming and Computer Software. 36:289-305

In the paper, an approach to constructing architecture of tools for model-based testing that rely on modern component-based technologies is presented. One of the basic ideas underlying this approach consists in application of noninvasive composition

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6d4cacf3d45621c278c87a1978d9f1cf
https://doi.org/10.1134/s036176881005004x

Zobrazit plný text záznamu

Integration of verification methods for program systems

Autor: Victor V. Kuliamin

Publikováno v: Programming and Computer Software. 35:212-222

In the paper, an approach to constructing an extensible framework for the verification of program systems is suggested. In the author's opinion, it will facilitate application of modern rigorous verification methods to practically significant program

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5afaa3b4a647a656f303994650076e08
https://doi.org/10.1134/s0361768809040057

Zobrazit plný text záznamu

Automation of broad sanity test generation

Autor: Victor V. Kuliamin, Vladimir Rubanov, Andrey Ponomarenko, R. S. Zybin, E. S. Chernov

Publikováno v: Programming and Computer Software. 34:351-363

The technology for the broad generation of sanity tests for complex software developed in the Institute for System Programming (Russian Academy of Sciences) is presented. This technology is called Azov; it is based on using a database containing stru

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::dc187721babbcf1399b8e0da7b54d8ca
https://doi.org/10.1134/s0361768808060066

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání