Abstract: A method and system for generating and optimizing test cases for an engineering program based on a constraint satisfaction problem is provided. In one embodiment, the method includes generating a plurality of tripartite graphs for the engineering program. Each of the generated plurality of tripartite graphs include a constraint satisfaction problem associated with a specific code statement of the plurality of code statements. Furthermore, the method includes generating a plurality of test cases for the engineering program based on the plurality of tripartite graphs such that the generated plurality of test cases are limited by the generated test case constraints. Moreover, the method includes optimizing the generated plurality of test cases based on an analysis of the engineering program.

Abstract: A method and system for generating and optimizing an engineering program with a given specification from another engineering program is provided. The method includes receiving, by a processing unit, a request to generate a first engineering program, with a first specification, from a second engineering program, with a second specification. The method further includes generating, by the processing unit, a first ontology schema comprising information associated with a plurality of data flow and control flow interrelationships between a plurality of code statements in the second engineering program. The further includes generating, by the processing unit, a second ontology schema based on an application of a machine learning algorithm on the first sequential representation of the first ontology schema. The method includes generating, by the processing unit, the first engineering program from the second engineering program, based on an analysis of the second ontology schema.