Massachusetts Institute of Technology

Bae Systems Information and Electronic Systems Integration Inc.

Ltx Corporation

Jeff Herbert Perkins

Mark E Deome

Martin Conway Rinard

Stylianos Sidiroglou

Timothy Alan Anderson

Eric Patrick Lahtinen

Juliekara Techasaratoole

Basil C Krikeles

Bob Quinn

Greg Timothy Sullivan

Paolo Mario Piselli

Don Organ

An approach to detection and repair of application level semantic errors in deployed software includes inferring aspects of correct operation of a program. For instance, a suite of examples of operations that are known or assumed to be correct are used to infer correct operation. Further operation of the program can be compared to results found during correct operation and the logic of the program can be augmented to ensure that aspects of further examples of operation of the program are sufficiently similar to the examples in the correct suite. In some examples, the similarity is based on identifying invariants that are satisfied at certain points in the program execution, and augmenting (e.g., 'patching') the logic includes adding tests to confirm that the invariants are satisfied in the new examples. In some examples, the logic invokes an automatic or semi-automatic error handling procedure if the test is not satisfied. Augmenting the logic in this way may prevent malicious parties from exploiting the semantic errors, and may prevent failures in execution of the programs that may have been avoided.

Automatic correction of program logic

A method of connecting one or more testing devices to ports of a DUT through a switching network, to execute a testing procedure includes generating a switching network map defining connections within the switching network to implement electrical paths through the switching network. Each of the electrical paths is representative of a connection of one of the testing devices to one of the I/O ports of the DUT. The method further includes receiving commands that uniquely specify an electrical path connecting a particular testing device to a particular I/O port of the DUT. The method compares each command to the switching network map to identify a corresponding electrical path through the switching network, and implements that path associated the command through the network. The method further includes sequentially implementing the electrical paths corresponding to the one or more commands in a predetermined order.

System for and method of performing device-oriented tests

Growing community of inventors

Cambridge, MA, United States of America

Jeff Herbert Perkins