Buchumschlag

A method for business logic extraction from legacy COBOL code of industrial systems

The purpose of this work is to develop a software tool for analysis automation and simplifying of understanding of software systems behavior. Methods for translation, abstraction, debugging and test generation for COBOL are proposed. We developed a software system, which implements the methods.Probl...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
Hauptverfasser:	Guba, A.A., Kolchin, A.V., Potiyenko, S.V.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2018
Schlagworte:	translation Cobol modeling abstraction test generation debugging UDC 004.416
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/176
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

A method for business logic extraction from legacy COBOL code of industrial systems
von: A. A. Guba, et al.
Veröffentlicht: (2016)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)

About the method of projecting abstract data type at the algebra of algorithmic
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2018)

Transformation of the legacy code on Fortran for scalability and cloud computing
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2018)

Increase the temporal efficiency of data structures in memory based on adaptation
von: Shinkarenko, V.I., et al.
Veröffentlicht: (2015)

Transformation of the legacy code on Fortran for scalability and cloud computing
von: Yu. Doroshenko, et al.
Veröffentlicht: (2016)

Cedars’s Scientists in RECOOP HST
Veröffentlicht: (2012)

Video-based visualization of debugging process
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)

An approach for software white box testing with genetic algorithm
von: Slabospickaya, O.A., et al.
Veröffentlicht: (2018)

Mother and Child Health
Veröffentlicht: (2012)

Abstracts Young Scientist Forum April 10
Veröffentlicht: (2010)

Nanobiotechnology and Cancer Research
Veröffentlicht: (2012)

On a problem of high-precision trajectory measurements by optical means
von: Putyatin, V. G., et al.
Veröffentlicht: (2017)

NanoBiotechnology and Cancer Research
Veröffentlicht: (2012)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Research of dynamics of publications on informatics in abstract database «Ukrainika naukova»
von: Kryuchyn, A. A., et al.
Veröffentlicht: (2014)

Radical theory in \(BCH\)-algebras
von: Dudek, Wieslaw A., et al.
Veröffentlicht: (2018)

Computational and experimental investigations of flow parts PL20 for rehabilitation of hydraulic turbines of kremenchug hydro power plant
von: Линник, А. В., et al.
Veröffentlicht: (2016)

Computational and experimental investigations of flow parts PL20 for rehabilitation of hydraulic turbines of kremenchug hydro power plant
von: Линник, А. В., et al.
Veröffentlicht: (2016)

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

Use of the "Library of Science Metrics" system for conducting science metric research
von: Ланде, Д. В., et al.
Veröffentlicht: (2023)

UAV application for geophysical research
von: Prystai, А., et al.
Veröffentlicht: (2017)

NETWORK OF INTERNET-CONTROLLED HF RECEIVERS FOR IONOSPHERIC RESEARCHES
von: Koloskov, A. V., et al.
Veröffentlicht: (2015)

About a system approach to the development and ground tests of on-board automated naval complexes for detection and target designation
von: Dodonov, A. G., et al.
Veröffentlicht: (2017)

Test rig of OJSC «Turboatom» for physical simulation of hydrodynamic process in water passages of model Kaplan hydroturbines
von: Линник, А. В., et al.
Veröffentlicht: (2014)

Test rig of OJSC «Turboatom» for physical simulation of hydrodynamic process in water passages of model Kaplan hydroturbines
von: Линник, А. В., et al.
Veröffentlicht: (2014)

THE EFFECT OF THE ACTIVE RESISTANCE OF THE PULSE TRANSFORMER WINDINGS ON THE PARAMETERS OF VOLTAGE PULSES GENERATED ON A CAPACITIVE LOAD
von: Gurin, A. G., et al.
Veröffentlicht: (2019)

Formation of the subject domains network on the basis of the ArXiv
von: Lande, D. V., et al.
Veröffentlicht: (2018)

Донори Н2S у створенні інноваційних лікарських засобів
von: Kaminskyy, D. V., et al.
Veröffentlicht: (2017)

Scientometric analysis of co-word networks taken from publications of a scientific team
von: Lande, D. V., et al.
Veröffentlicht: (2017)

Translational Wave Impact on the Operation of the Dniester Pumped Storage Power Plant Upper Reservoir
von: Riabenko, Oleksandr A., et al.
Veröffentlicht: (2019)

Translational Wave Impact on the Operation of the Dniester Pumped Storage Power Plant Upper Reservoir
von: Riabenko, Oleksandr A., et al.
Veröffentlicht: (2019)

A method of test data generation from source code of Java programs
von: A. V. Kolchin, et al.
Veröffentlicht: (2016)

Elicitation of Possible Scientific Expert Groups at Co-Authorship Network Using Decision Support Methods
von: Gorbov, I. V., et al.
Veröffentlicht: (2013)

Mother and Child Health Oral Presentation
Veröffentlicht: (2011)

Cardiovascular Research Oral Presentation Senior Scientists’ Forum
Veröffentlicht: (2011)

On creative legacy of Vitalii Tabachkovskyi
von: Ye. Andros
Veröffentlicht: (2016)

Prediction of lifetime of data storage on optical disks
von: Petrov, V. V., et al.
Veröffentlicht: (2016)