Breakpoint with specified anchor points
AssigneeInternational Business Machines Corporation
InventorsXiao Ling Chen, Chuan He, Yan Huang, Jiang Yi Liu, Wei Wu, Jian Xu
Life of this patent
Estimating the term…
Abstract
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.
Claims20
A computer-implemented method of verifying software, the computer-implemented method comprising:
- setting, with a processor implementing debugging instructions, a breakpoint in the software, wherein the breakpoint indicates a point at which to pause or stop execution of the software;
- and setting, with the processor, one or more anchor points associated with the breakpoint, wherein 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, and each of the one or more anchor points is an internal breakpoint that does not result in the pausing or stopping the execution of the software but does indicate completion of the execution designated as the anchor point.
A system to verify software, the system comprising:
- a memory device including a data structure that defines a breakpoint in the software, wherein the breakpoint indicates a point at which to pause or stop execution of the software;
- and
- a processor configured to set one or more anchor points associated with the breakpoint, wherein 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, and each of the one or more anchor points is an internal breakpoint that does not result in the pausing or stopping the execution of the software but does indicate completion of the execution designated as the anchor point.
A computer program product for implementing software verification, the computer program product comprising a computer readable storage medium having program instructions embodied therewith, the program instructions executable by a processor to perform a method comprising:
- setting a breakpoint in the software, wherein the breakpoint indicates a point at which to pause or stop execution of the software;
- and
- setting one or more anchor points associated with the breakpoint, wherein 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, and each of the one or more anchor points is an internal breakpoint that does not result in the pausing or stopping the execution of the software but does indicate completion of the execution designated as the anchor point.
Dependencies are inferred from the claim text.