Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367592991> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4367592991 endingPage "50" @default.
- W4367592991 startingPage "42" @default.
- W4367592991 abstract "In this paper a method for generation of formal models from legacy systems code is proposed. The purpose of these models is to have a possibility of their application in different tasks such as automatic generation of executable tests, translation to modern programming languages, reverse engineering. The method pursues goals to decrease complexity of state space search and checking formulas satisfiability in relation to the direct code modeling, and to help legacy systems understanding and implementing in modern technologies. We focused on formalization of Cobol memory model as it is the most common language in legacy systems. Formal model is an attribute transition system with control flow. We proposed an algorithm for building enumerated types for any variables whose usage fulfills certain conditions, including translation procedure of numeric variables to enumerated ones. We considered a problem of translating non-comparable structures which overlap in memory (operator redefines in Cobol), are copied or compared with each other. In opposite to common approach of using union semantics (like union construction in C++), we described a method of structure fields decomposition which has no drawbacks of unions and makes for minimization of bytewise approach. We considered the developed method on the examples of structures as with simple fields as with arrays. We also gave examples of realization of bytewise approach in Java and C++ languages for those variables that cannot be represented as enumerated or numeric attributes. We tried this work for tests generation for middle-sized projects (up to 100 000 lines of code) where it showed efficiency of developed method, also generated formal models were used for debugging of Cobol to Java translator and business rules extraction." @default.
- W4367592991 created "2023-05-02" @default.
- W4367592991 creator A5037683866 @default.
- W4367592991 creator A5049058794 @default.
- W4367592991 date "2022-12-01" @default.
- W4367592991 modified "2023-09-28" @default.
- W4367592991 title "Generation of multipurpose formal models from legacy code" @default.
- W4367592991 cites W1993807037 @default.
- W4367592991 cites W2027929331 @default.
- W4367592991 cites W2066210260 @default.
- W4367592991 cites W2170644445 @default.
- W4367592991 cites W2214654303 @default.
- W4367592991 cites W2896412293 @default.
- W4367592991 cites W2973128036 @default.
- W4367592991 cites W2977952812 @default.
- W4367592991 cites W2991625865 @default.
- W4367592991 doi "https://doi.org/10.15407/pp2022.03-04.042" @default.
- W4367592991 hasPublicationYear "2022" @default.
- W4367592991 type Work @default.
- W4367592991 citedByCount "0" @default.
- W4367592991 crossrefType "journal-article" @default.
- W4367592991 hasAuthorship W4367592991A5037683866 @default.
- W4367592991 hasAuthorship W4367592991A5049058794 @default.
- W4367592991 hasBestOaLocation W43675929911 @default.
- W4367592991 hasConcept C105446022 @default.
- W4367592991 hasConcept C128595289 @default.
- W4367592991 hasConcept C133162039 @default.
- W4367592991 hasConcept C160145156 @default.
- W4367592991 hasConcept C160191386 @default.
- W4367592991 hasConcept C199360897 @default.
- W4367592991 hasConcept C26517878 @default.
- W4367592991 hasConcept C2777904410 @default.
- W4367592991 hasConcept C2781009160 @default.
- W4367592991 hasConcept C38652104 @default.
- W4367592991 hasConcept C41008148 @default.
- W4367592991 hasConcept C60051680 @default.
- W4367592991 hasConcept C80444323 @default.
- W4367592991 hasConcept C85687889 @default.
- W4367592991 hasConceptScore W4367592991C105446022 @default.
- W4367592991 hasConceptScore W4367592991C128595289 @default.
- W4367592991 hasConceptScore W4367592991C133162039 @default.
- W4367592991 hasConceptScore W4367592991C160145156 @default.
- W4367592991 hasConceptScore W4367592991C160191386 @default.
- W4367592991 hasConceptScore W4367592991C199360897 @default.
- W4367592991 hasConceptScore W4367592991C26517878 @default.
- W4367592991 hasConceptScore W4367592991C2777904410 @default.
- W4367592991 hasConceptScore W4367592991C2781009160 @default.
- W4367592991 hasConceptScore W4367592991C38652104 @default.
- W4367592991 hasConceptScore W4367592991C41008148 @default.
- W4367592991 hasConceptScore W4367592991C60051680 @default.
- W4367592991 hasConceptScore W4367592991C80444323 @default.
- W4367592991 hasConceptScore W4367592991C85687889 @default.
- W4367592991 hasIssue "3-4" @default.
- W4367592991 hasLocation W43675929911 @default.
- W4367592991 hasLocation W43675929912 @default.
- W4367592991 hasOpenAccess W4367592991 @default.
- W4367592991 hasPrimaryLocation W43675929911 @default.
- W4367592991 hasRelatedWork W1503440173 @default.
- W4367592991 hasRelatedWork W1599857025 @default.
- W4367592991 hasRelatedWork W2082317701 @default.
- W4367592991 hasRelatedWork W2090846056 @default.
- W4367592991 hasRelatedWork W2115307282 @default.
- W4367592991 hasRelatedWork W2142983817 @default.
- W4367592991 hasRelatedWork W2376451208 @default.
- W4367592991 hasRelatedWork W347857039 @default.
- W4367592991 hasRelatedWork W4367592991 @default.
- W4367592991 hasRelatedWork W3022730558 @default.
- W4367592991 isParatext "false" @default.
- W4367592991 isRetracted "false" @default.
- W4367592991 workType "article" @default.