Patent ID: 9336128
Filing Date: 2016-05-10
CPC Classification: G06F

Claim Text:
1. A method for object-oriented programming code analysis, comprising: generating, by a computer processor, a first execution path through software code, the first execution path comprising a first path condition, the first path condition comprising a plurality of symbolic type constraints on the first execution path, wherein generating the first execution path comprises: making, by the computer processor, a first determination that the first path condition of the first execution path is infeasible based on determining that a class does not exist that satisfies the first symbolic type constraint of the object and the second symbolic type constraint of the object; discarding the first execution path based on the first determination; generating a second execution path through the software code, the second execution path comprising a second path condition, the second path condition comprising a plurality of symbolic type constraints on the second execution path, wherein generating the second execution path comprises: making a second determination that the second path condition of the second execution path is feasible based on, at least in part, determining that a class does exist that satisfies the third symbolic type constraint and the fourth symbolic type constraint; and generating a test case based on the second determination.