The disclosure provides a
breakpoint setting method based on program running process, an electronic device and a storage medium, wherein the
breakpoint setting method comprises: scanning a disassembly file of a program to be run, identifying all
branch node types, setting related
branch node instruction information according to an
instruction set architecture, and obtaining an initial jump table recording all
branch node information; analyzing the initial jump table and executing a preset instruction to set a
breakpoint table; when the program is scheduled to a running state, sequentially setting breakpoint addresses of the preset instruction according to a fixed breakpoint interval
granularity based on the breakpoint table, and / or when a certain
branch node is detected to be fault-free, modifying the breakpoint interval
granularity through an instruction, adjusting the breakpoint address of the
branch node and updating the breakpoint table. Thus, full-automatic analysis in a
software verification process can be realized, and only one configuration for the
instruction set architecture is needed, which can effectively improve the operation efficiency of the program.