Cover Image

Test scenarios generation based on formal model

A guided search method for automatic test scenario building during verification described. The main goal is to achieve semantic correspondence between obtained test scenarios and functional specifications of a system. The method uses user-defined regular expressions as test purposes and for model be...

Full description

Saved in:

Bibliographic Details
Date:	2026
Main Authors:	Letichevsky, A.A., Kolchin, A.V.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 519.686.2
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/903
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

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)

Optimization of checking the feasibility of transitions when verifying formal models
by: Kolchin, A.V.
Published: (2015)

Backward transformation of formulas in symbolic modeling: from the result to the source formula
by: Godlevsky, A.B., et al.
Published: (2026)

Methods of forward and backward symbolic modeling of systems specified by basic protocols
by: Potienko, S.V.
Published: (2026)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
by: Levchenko, R.I., et al.
Published: (2026)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., 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)

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

Some aspects of formalization of an architectural development cycle of algorithms
by: Akulovskiy, V.G.
Published: (2026)

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
by: Akulovskiy, V.G.
Published: (2026)

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

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

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

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
by: Ведь, Е. В.
Published: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
by: Ведь, Е. В.
Published: (2016)

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

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

Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Fundamentals of data-based algorithm algebra
by: Akulovsky, V.G.
Published: (2026)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
by: Zavadskyi, I.O.
Published: (2025)

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)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
by: Tereshchenko, A.N.
Published: (2017)

The operating model of communicative informations systems
by: Zubenko, V.V.
Published: (2025)

The constructional knowledge of sets and their properties
by: Ilman, V.M., et al.
Published: (2025)

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

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

Construction concepts of the integrated environment architecture of generative programming
by: Morentsov, Y.I.
Published: (2026)

Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)

Modifications effective implementation generator tests
by: Andriyanov, V.A., et al.
Published: (2026)

A survey of systematic methods for code-based test data generation
by: V. A. Volkov, et al.
Published: (2017)

Parallel implementation of directed search processes for optimal solutions
by: Pepelyaev, V.A., et al.
Published: (2026)

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

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

Description of parallelism in algorithms of information management systems using algebraic apparatus
by: Akulovsky, V.G., et al.
Published: (2025)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
Published: (2025)

Algebra of algorithms with the data and forecasting of computing process
by: Doroshenko, A.Yu., et al.
Published: (2025)

Application of GIS to Systems Analysis of Environmental Health Data in Context of Risk Assessment. Part 1: General Description of the Domain and the Problems
by: Kuksa, A.I.
Published: (2015)