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.

Een methode en een apparaat om een programmasegment te structureren worden onthuld. De methode om een programmasegment op een computer te structureren begint met de stap van het identificeren van een reeks programmablokken in het segment. Elk blok is een functioneel stuk van code in het segment en heeft minstens één punt dat aan minstens één van ingang en uitgang beantwoordt, zodanig dat het volledige segment in blokken met elk blok dat in een uitvoeringsweg wordt gesitueerd verdeeld is waarlangs het segment in een stroomafwaartse richting uitvoert. Met betrekking tot elk blok, wordt een blokvertegenwoordiger geassocieerd voor het toewijzen van computergeheugen voor gegevenselementen die voor het bijbehorende uit te voeren blok nodig zijn. De blokvertegenwoordiger wijst een waarde aan om het even welk gegevenselement toe dat door het bijbehorende blok wordt vereist een waarde te hebben. De blokvertegenwoordiger roept het bijbehorende blok voor uitvoering, ontvangt ook terugkeer van controle na uitvoering van het blok, en gaat controle over die op beschikbare gegevens wordt gebaseerd.

 
Web www.patentalert.com

< Method and apparatus for delivering local and remote server events in a similar fashion

< Methods and systems for multi-policy resource scheduling

> System and method for distributed storage and retrieval of personal information

> Secure internet applications with mobile code

~ 00131