Boots – shoes – and leggings
Patent
1995-06-07
1997-07-22
Ramirez, Ellis B.
Boots, shoes, and leggings
G06F 1700
Patent
active
056509480
ABSTRACT:
A method for symbolic evaluation of an algorithm is provided. The algorithm has at least one conditional branching statement dependent on the value of at least one input datum. The method comprises the steps of converting the algorithm into a control flow graph having a plurality of nodes, each node representing at least one of the plurality of statements. The control flow graph further includes a conditional branching node for the data-dependent conditional branching statement. Reverse dominators are then computed for each of the plurality of nodes, from which a meet point node for each conditional branching node is derived. The method further provides for constructing a shadow symbol table housing the variables, and constructing a duplicate shadow symbol table for each possible value of the datum in response the conditional branching node. The method further evaluates each node symbolically in succession according to control flow, and assigns a symbolic value to each the variables in the shadow symbol tables. The conditional branching node is also evaluated by assuming each possible value of the datum for each branch and assigning symbolic values to each of the variables in the shadow symbol table. The nodes contained in each branch are evaluated until the meet point node is reached. The duplicate shadow symbol tables are then merged.
REFERENCES:
patent: 4860204 (1989-08-01), Gendron et al.
patent: 5005119 (1991-04-01), Rumbaugh et al.
patent: 5276881 (1994-01-01), Chan et al.
Kobrosly, et al., "A Survey of Software Functional testing Techniques", IEEE 1988, pp. 127-134.
Banning, John, "The XDOS Binary Code Conversion System", IEEE 1989, pp. 282-287.
Duncan, et al., "Experiments With The Hi-Pass DSP Synthesis System", IEEE 1992, pp. 168-171.
Tanner, Eve M., "Providing Programmers with a Driver Debug Technique", Hewlett Packard Journal, Oct. 1989, pp. 76-80.
Reiss, Steven P., "PECAN: Program Development Systems the Support Multiple Views", IEEE Tran Software Eng. No. 3, Mar. 1985, pp. 276-285.
Quayle, et al., "Efficient Dag Synthesis", IEEE 1990, pp. 1106-1109.
Shung, et al., "An Integrated CAD System for Algorithm-Specific IC Design", IEEE 1989, pp. 82-91.
Donaldson Richard L.
Heiting Leo N.
Ramirez Ellis B.
Texas Instruments Incorporated
Troike Robert L.
LandOfFree
Method and system for translating a software implementation with does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and system for translating a software implementation with, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for translating a software implementation with will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1564224