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:
Jun. 24, 2014
Filed:
May. 31, 2005
Christopher L. Conway, Brooklyn, NY (US);
Dennis R. Dams, New Providence, NJ (US);
Kedar S. Namjoshi, Basking Ridge, NJ (US);
Christopher L. Conway, Brooklyn, NY (US);
Dennis R. Dams, New Providence, NJ (US);
Kedar S. Namjoshi, Basking Ridge, NJ (US);
Alcatel Lucent, Paris, FR;
Abstract
Methods and apparatus are provided for incremental analysis of one or more properties of a program. According to one aspect of the invention, at least one property of a software program is evaluated, given one or more changes to the software program. Nodes in a derivation graph are identified corresponding to changed edges in a control flow graph representation of the software program, wherein the derivation graph describes an earlier evaluation of the software program. In addition, at least one of the identified nodes in the derivation graph is updated and the derivation graph is traversed outward from a location of a change. The revised derivation graph can optionally be further processed to remove false errors.