E1: A method for analyzing a computer program, comprising a plurality of breakpoints for said computer program, at least one of said breakpoints including a respective expected code path condition,

E2: Executing said computer program; with respect to each breakpoint including a respective expected code path condition encountered during execution of said computer program, automatically determining whether an actual code path taken during execution of said computer program matches the respective expected code path condition of the encountered breakpoint;

E3: Automatically halting execution of said program if said actual code path taken during execution of said computer program does not match the expected code path condition regardless of the condition of any key variable specified as a condition of the conditional breakpoint.