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)

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

Keynote Speaker From weed killers and cannibals to viruses, prions, and Nobel prizes
von: Maramorosch, K.
Veröffentlicht: (2012)

Plenary Session Friday April 5, 2013
Veröffentlicht: (2013)

Materials of IX annual Conference of Young Scientist of the Institute of Molecular Biology and Genetics NASU
Veröffentlicht: (2015)

Poster Sessions
Veröffentlicht: (2013)

Plenary Session Saturday April 6, 2013
Veröffentlicht: (2013)

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

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

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

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

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

Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025)

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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)

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

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

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

Developing algorithms for automatic hypoxing test chasing from the single-channel electrocardiograms: a model experiment
von: Romanenko, T.M.
Veröffentlicht: (2024)

T-satisfiability test problem for the VL1 logical language of the VRS system
von: Timofeev, V.G.
Veröffentlicht: (2015)

The Code is based on random numbers with irregular distribution
von: Mikhersky, R.M.
Veröffentlicht: (2025)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Algebraic patterns of binary code vulnerabilities
von: Yakovlev, V.M.
Veröffentlicht: (2020)

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

The translator of Petri-object model visual programming language
von: Dyfuchyn, А.Yu.
Veröffentlicht: (2022)

Spectrum of sequential number pershopordinal compositional-nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

First-order composition-nominative logics with generalized renominations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2025)

Instrumentariy creating business logic
von: Kozhaev, V. V.
Veröffentlicht: (2015)

Integration of Semantic WEB technologies with Business Intelligence 2.0 systems
von: Rogushina, J.V., et al.
Veröffentlicht: (2025)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

Descriptive logic using in Web-service problems
von: Zakharova, O.V.
Veröffentlicht: (2017)

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

Women’s Health and Cardiovascular Diseases
Veröffentlicht: (2012)

Abstracts for RECOOP Multidisciplinary Conference April 9
Veröffentlicht: (2010)

Translational Research and Drug Development
Veröffentlicht: (2012)

Mother and Child Health
Veröffentlicht: (2012)