Зображення обкладинки

Interactive method for cumulative analysis of software formal models behavior

The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce as a result only one, usually first-found, path per specified property (which...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2018
Автор:	Kolchin, A.V.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	PROBLEMS IN PROGRAMMING 2018
Теми:	testing debugging model checking UDC 004.414.23+004.415.53+004.832.23+ 004.4'233
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/273
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Application of Petri component nets in the checking task of parallel distributed systems
за авторством: Lukyanova, E.A.
Опубліковано: (2025)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)

A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: Guba, A.A., та інші
Опубліковано: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Creation of design methods for the CUDA hardware and software platform
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Рaradigms of programming assembling type in software engeneering
за авторством: Lavrischeva, E.M.
Опубліковано: (2025)

An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

Grid application development framework
за авторством: Prila, O.A.
Опубліковано: (2025)

Analysis of storage and display frameworks based on aspect-oriented technologies
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Managing scientific workflows in grid systems
за авторством: Tverdokhlib, E.M., та інші
Опубліковано: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Research of the synchronization patterns and their use in GPGPU
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
за авторством: Slabospitskaya, О.A.
Опубліковано: (2017)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Principles of modeling GPGPU-applications using Petri nets
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Software architectural design for the interactive learning of sign language
за авторством: Kryvonos, Yu.G., та інші
Опубліковано: (2025)

On decompilation of VLIW executable files
за авторством: Jakub, K.
Опубліковано: (2017)

Formal semantics of aggregate operations of multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2025)

Technology system integration of hardware and software data protection
за авторством: Alishоv, N.I., та інші
Опубліковано: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Specialized software for simulating dynamic virtual machine consolidation
за авторством: Zharikov, E.V., та інші
Опубліковано: (2022)

Software and technical complex for automatic georeferencing of space system «Sich-2» remote sensing data
за авторством: Kussul, N.M., та інші
Опубліковано: (2025)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)

Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)

Optimization of parallel perceptron for central processing units
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018)

Injection of functional dependencies using inversion of control container
за авторством: Glybovets, M.M., та інші
Опубліковано: (2019)

Development of agent recommendation system of virtual university based on JADE
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)