Emc Corporation

Rafael-Armament Development Authority Ltd.

Avihu Goral

Eli Shagam

Josef Ezra

Ehud Chishinski

Ehud Shoavi

In a method for testing computer code, each branch that occurs within the machine-readable code is located. A first tracepoint is placed immediately after the beginning of the branch and a second tracepoint at the target address of each branch, each tracepoint generating an indicator. When the machine-readable code with the tracepoints is executed on the target computer, the method identifies those indicators that have been generated by their corresponding tracepoints, thereby permitting determination of those branches that the program control flow has not passed through. The test cases are modified to exercise the previously omitted branches, and the converted code is re-executed, until all branches have been properly exercised. The tracepoints are automatically eliminated after they have performed their intended function.

Software debugging tool

A panoramic field of view acquiring system comprises three telescopes, which acquire three separate images, each typically covering a little over one third of the total required scene and a multiplexer, which is used to transmit the three images, one at a time, to an appropriate detector. Standard imaging techniques are then used to coordinate the images to form a complete picture and display them as required.

Panoramic field of view acquiring and displaying system

The present invention discloses a temperature compensation device for optical instruments which comprises a lens assembly, motor means for rotating the lens assembly about the optical axis thereof, kinematic means for producing rectilinear motion of the lens assembly in response to the rotary motion of the lens assembly, and means for determining the linear displacement and therefore the actual linear position of the lens assembly. Additionally, the device comprises thermometric means, e.g. a temperature detector, which measures the temperature of the environment and transmits the temperature to a processor which controls the actual linear position of the lens assembly through an electronic circuit. The relationship between the temperature detector reading and the corresponding desired linear position is defined by memorized means, preferably by a LUT (look-up table) or, e.g., through optimization on a sensor (ccd, IR, etc.) output (picture). At all times, the desired linear position, corresponding to the temperature detector reading, is compared to the actual linear position, and, if there is a difference, the aforesaid kinematic means is actuated by appropriate means to displace the lens assembly to the desired linear position.

Temperature compensation device for optical instruments

A system for parsing comments in assembler language source code to identify input and output parameters and script them into wrapper code that transforms the parameters from C (or other higher level language) conventions to assembler conventions for entry to the assembler program and from assembler conventions to C conventions for exit from the assembler program. The comment parser follows the syntax conventions of the assembler to identify text that is intended to be comments. Within the comment text, the comment parser searches for user specified defining terms such as 'input', 'output', or 'at entry', and 'at exit', which indicate that one or more input or output parameters are described. Next the comment parser searches for nearby formatters, such as obvious register references 'd3' or 'a4' in one implementation. The comment parser saves the comments and associated registers in an associative array. The wrapper scripter then uses the associative array to script a wrapper for this assembler program that will reformat the inputs and outputs appropriately. The resulting wrapper is checked by the programmer for errors, and if none are found, is used as the wrapper for the interface.

Growing community of inventors

D.N. Misgav, Israel

Avihu Goral