发明名称 Automatic consistency checking of computer programs
摘要 A method, for use with a computer having memory, for structuring a program segment, is described. A series of program blocks in the segment are identified. Each block is a functional piece of code in the segment and has at least one point corresponding to at least one of entry and exit, in such a manner that the entire segment is divided into blocks with each block being situated in an execution path along which the segment executes in a downstream direction. With respect to each block, a block representative is associated. The block representative allocates computer memory for data elements that are needed for the associated block to execute. The block representative also assigns a value to any data element required by the associated block to have a value. Additionally, the block representative calls the associated block for execution, receives return of control after execution of the block, and passes control based on available data.
申请公布号 US2005028150(A1) 申请公布日期 2005.02.03
申请号 US20040837939 申请日期 2004.05.03
申请人 HALPERN MORDECHAI 发明人 HALPERN MORDECHAI
分类号 G06F9/50;G06F11/36;(IPC1-7):G06F9/44 主分类号 G06F9/50
代理机构 代理人
主权项
地址