The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 31, 2016
Filed:
Sep. 20, 2013
International Business Machines Corporation, Armonk, NY (US);
John A. Beaven, Eastleigh, GB;
Rajasinghe S. Gunaratne, Southampton, GB;
Robert J. Maddison, Eastleigh, GB;
International Business Machines Corporation, Armonk, NY (US);
Abstract
A processor-implemented method, system, and/or computer program product maintain integrity of output of a code generator. One or more processors determine a generated output that has been generated by a specific code generation application based on an original model, where the original model is a structured model used to construct a software program. The generated output is analyzed to infer contents of an inferred version of the original model. The inferred version of the original model is compared with a current version of the original model to detect differences in source elements. Detected differences are thus used to identify redundant elements in the generated output.