Modifications effective implementation generator tests
This work is devoted research of structural algorithms of generation of tests. The purpose of the research is modification of existing algo-rithm of test generation by reducing the number of rollbacks the algorithm, This work made algorithm analyze, modification of FAN algo-rithm by the expense of i...
Збережено в:
| Дата: | 2026 |
|---|---|
| Автори: | Andriyanov, V.A., Martynyuk, A.N. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2026
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/913 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
Problems in programmingСхожі ресурси
Normalization of gasbalance calculation error in the gas transmission system
за авторством: Ильченко, Б. С., та інші
Опубліковано: (2015)
за авторством: Ильченко, Б. С., та інші
Опубліковано: (2015)
Normalization of gasbalance calculation error in the gas transmission system
за авторством: Ильченко, Б. С., та інші
Опубліковано: (2015)
за авторством: Ильченко, Б. С., та інші
Опубліковано: (2015)
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)
Testing of interest to game
за авторством: Kozhaev, V.V.
Опубліковано: (2026)
за авторством: Kozhaev, V.V.
Опубліковано: (2026)
Features of implementation of toolkit for transformational synthesis of parallel algorithms
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)
The approach of cluster system interfaces implementation
за авторством: Marianovskyi, V.A., та інші
Опубліковано: (2026)
за авторством: Marianovskyi, V.A., та інші
Опубліковано: (2026)
The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)
Iinterdepartmental is informational - telecommunication systems, as result of implementation of target programs, directed on exchange by information resources between departments
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)
Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Implementation of rich web-applications based on taucode library
за авторством: Kovalenko, A.S., та інші
Опубліковано: (2026)
за авторством: Kovalenko, A.S., та інші
Опубліковано: (2026)
Technological aspects of viable software development using generative programming
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2026)
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2026)
Approach to programming of applications with using of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)
за авторством: Deretsky, V.A.
Опубліковано: (2026)
Approach to determination of completeness of composition of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)
за авторством: Deretsky, V.A.
Опубліковано: (2026)
Approach to composition of Web-services on basis of specification of functional semantics
за авторством: Deretsky, V.A.
Опубліковано: (2026)
за авторством: Deretsky, V.A.
Опубліковано: (2026)
Development of applications in service-oriented architecture of Semantic Web
за авторством: Deretskiy, V.A.
Опубліковано: (2025)
за авторством: Deretskiy, V.A.
Опубліковано: (2025)
Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
за авторством: Shekhovtsov, V.A.
Опубліковано: (2026)
за авторством: Shekhovtsov, V.A.
Опубліковано: (2026)
Virtualization of models of technical plants in educational and research problems in the development of control systems
за авторством: Zherebko, V.A.
Опубліковано: (2017)
за авторством: Zherebko, V.A.
Опубліковано: (2017)
Algorithmic algebra tools on the Web 2.0 platform
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)
Multivariance of the notations of representation of algorithms of operation of software as path to their verification
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2026)
Semantics role in integration of applications on the basis of Web services
за авторством: Andon, P.I., та інші
Опубліковано: (2026)
за авторством: Andon, P.I., та інші
Опубліковано: (2026)
Axiomatic models and methods used to design of language translators
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)
The registration and accounting of the information about events in specialized informational-telecommunication systems
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)
High level facilities for design automation of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)
Problem of automation of situational management of protection of zones of the responsibility
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)
The practical approach for realization Semantic Web applications
за авторством: Deretskiy, V.A., та інші
Опубліковано: (2026)
за авторством: Deretskiy, V.A., та інші
Опубліковано: (2026)
Approach to design software applications of use Web Service
за авторством: Deretsky, V.A., та інші
Опубліковано: (2026)
за авторством: Deretsky, V.A., та інші
Опубліковано: (2026)
Design of ontological system of terms and their cognitive models in scientific research
за авторством: Rogushina, J.V., та інші
Опубліковано: (2026)
за авторством: Rogushina, J.V., та інші
Опубліковано: (2026)
About some approaches to calculating uncertainties
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)
Approach to interconnection support between Java and MS.NET programming environments
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)
Estimation of reliability of modular software
за авторством: Antsypov, A.V., та інші
Опубліковано: (2026)
за авторством: Antsypov, A.V., та інші
Опубліковано: (2026)
The algebraic model refactoring of components
за авторством: Grischenko, V.N.
Опубліковано: (2015)
за авторством: Grischenko, V.N.
Опубліковано: (2015)
Facilities for service-oriented programming of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
Approach to building factories of student programs
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)
Fuzzy diagnostic models in the H-Homeopath system
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)
Development of highly-parallel applications for graphical processing units using rewriting rules
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)
Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)
The program technological complex of decision making in industrial enterprise management on early stages of crises changes
за авторством: Masalitina, N.N., та інші
Опубліковано: (2025)
за авторством: Masalitina, N.N., та інші
Опубліковано: (2025)
Algebra-dynamic models for program parallelization
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Схожі ресурси
-
Normalization of gasbalance calculation error in the gas transmission system
за авторством: Ильченко, Б. С., та інші
Опубліковано: (2015) -
Normalization of gasbalance calculation error in the gas transmission system
за авторством: Ильченко, Б. С., та інші
Опубліковано: (2015) -
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017) -
Testing of interest to game
за авторством: Kozhaev, V.V.
Опубліковано: (2026) -
Features of implementation of toolkit for transformational synthesis of parallel algorithms
за авторством: Mohnitsa, A.S., та інші
Опубліковано: (2026)