Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2018
Main Author:	Kolchin, A.V.
Format:	Article
Language:	English
Published:	PROBLEMS IN PROGRAMMING 2018
Subjects:	testing debugging model checking UDC 004.414.23+004.415.53+004.832.23+ 004.4'233
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/273
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

Regression testing: techniques and future research directions
by: Moroz, H.B., et al.
Published: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

Application of Petri component nets in the checking task of parallel distributed systems
by: Lukyanova, E.A.
Published: (2025)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

Development of integrated system of scientific periodicals based on the OJS
by: Kudim, K.A., et al.
Published: (2017)

A method for business logic extraction from legacy COBOL code of industrial systems
by: Guba, A.A., et al.
Published: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

Рaradigms of programming assembling type in software engeneering
by: Lavrischeva, E.M.
Published: (2025)

An approach to behavioral software models refinement using design patterns
by: Chebanyuk, O.B.
Published: (2025)

About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2025)

Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
Published: (2025)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)

Grid application development framework
by: Prila, O.A.
Published: (2025)

Analysis of storage and display frameworks based on aspect-oriented technologies
by: Glybovets, M.M., et al.
Published: (2025)

Managing scientific workflows in grid systems
by: Tverdokhlib, E.M., et al.
Published: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
by: Glybovets, M.M., et al.
Published: (2017)

Research of the synchronization patterns and their use in GPGPU
by: Pogorilyy, S.D., et al.
Published: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
by: Glybovets, M.M., et al.
Published: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
by: Slabospitskaya, О.A.
Published: (2017)

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)

Software architectural design for the interactive learning of sign language
by: Kryvonos, Yu.G., et al.
Published: (2025)

On decompilation of VLIW executable files
by: Jakub, K.
Published: (2017)

Formal semantics of aggregate operations of multiset table algebra
by: Glushko, I.M.
Published: (2025)

Technology system integration of hardware and software data protection
by: Alishоv, N.I., et al.
Published: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Specialized software for simulating dynamic virtual machine consolidation
by: Zharikov, E.V., et al.
Published: (2022)

Software and technical complex for automatic georeferencing of space system «Sich-2» remote sensing data
by: Kussul, N.M., et al.
Published: (2025)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Formal model of scientific publication
by: Reznichenko, V.A., et al.
Published: (2015)

Constraint programming in insertion modeling system
by: Letichevsky, O.A., et al.
Published: (2025)

Optimization of parallel perceptron for central processing units
by: Doroshenko, A.Yu., et al.
Published: (2025)

Interactive method for cumulative analysis of software formal models behavior
by: A. Kolchin
Published: (2018)

Injection of functional dependencies using inversion of control container
by: Glybovets, M.M., et al.
Published: (2019)

Development of agent recommendation system of virtual university based on JADE
by: Glybovets, M.M., et al.
Published: (2017)