Cantor Colburn LLP
Breakpoint with specified anchor points
A system and method to verify software includes a debugger setting a breakpoint in the software. The breakpoint indicates a point at which to pause or stop execution of the software. The method also includes setting one or more anchor points associated with the breakpoint. Each of the one or more anchor points represents another point in the software that must be executed prior to pausing or stopping the execution of the software at the breakpoint.
INTERNATIONAL BUSINESS MACHINES CORPORATION
G G G
G06F G06F G06F
inventional inventional inventional
Wei Xiao Ling Chuan Jiang Yi Jian Yan
Wu Chen He Liu Xu Huang