SYSTEM AND METHOD FOR PROVIDING AUTOMATED COMPUTER LANGUAGE TRANSLATION AND VERIFICATION

摘要

Systems, methods, and other embodiments are disclosed that are configured to verify the translation of a program from a first programming language to a second programming language. In one embodiment, a first program is executed within a first thread of a process in parallel with a second program within a second thread of the process. A first source code of the first program is written in the first programming language, and a second source code of the second program is a translation of the first source code of the first program to the second programming language based on a translation process. Statement flow and program variables are compared at equivalent lines of code between the first program and the second program, during execution of the two programs in parallel, to generate execution results. The translation process is transformed, based on the execution results, facilitating correcting of the second source code.

主权项

1. A method implemented by a computing device, the method comprising:
running a first program on a computing device and capturing interaction data between the first program and at least one external service during the running; executing the first program and a second program on the computing device in parallel, wherein the first program and the second program are driven by the interaction data during the executing, and wherein the second program is a translated version of the first program in a different programming language based on a translation process; and verifying an accuracy of the translated version at least in part by comparing program flow and in-program data at equivalent lines of code between the first program and the second program, during the executing, to generate execution results.