发明名称 Automatic consistency checking of computer programs
摘要 A method and apparatus for structuring a program segment are disclosed. The method for structuring a program segment on a computer begins with the step of identifying a series of program blocks in the segment. 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 for allocating computer memory for data elements that are needed for the associated block to execute. The block representative assigns a value to any data element required by the associated block to have a value. The block representative also calls the associated block for execution, receives return of control after execution of the block, and passes control based on available data.
申请公布号 AU3867500(A) 申请公布日期 2000.09.21
申请号 AU20000038675 申请日期 2000.03.06
申请人 ORIGINS SOFTWARE COMPANY 发明人 MORDECHAI HALPERN
分类号 G06F9/50;G06F11/36 主分类号 G06F9/50
代理机构 代理人
主权项
地址
您可能感兴趣的专利