Sterne, Kessler, Goldstein & Fox P.L.L.C.
Systems and methods for incremental analysis of software
Systems and methods for software verification. In some embodiments, a first application architecture model is generated for a software application, wherein: the first application architecture model is generated based on a first version of source code of the software application; and the first application architecture model comprises a plurality of component models. A second version of source code may be compared against the first version of source code to determine at least one difference. At least one affected component model of the first application architecture model may be identified based on the at least one difference. A second application architecture model may be generated based on the second version of source code, wherein generating the second application architecture model comprises generating an updated version of the at least one affected component model.
Synopsys, Inc.
G G H G G G G H G G
G06F G06F H04L G06F G06F G06F G06F H04L G06F G06F
inventional inventional inventional inventional inventional additional inventional inventional inventional inventional
John Guodong
Steven Li