International Business Machines Corporation

Intranational Business Machines Corporation

Kirill Shoikhet

Igor Chirashnya

Leah Shalev

Allon Adir

Duane Mark Baldwin

David Lynn Merbach

Roy Emek

William Roy Yonker

Gregory John Knight

Eyal Bin

A method for automatically generating test programs includes receiving a description of a system under test, expressed in terms of variables associated with the system and conditional constraints including semantics applied to the variables, and receiving a definition of an event to be tested in the system. The method generates an ECondCSP over the variables responsively to the definition of the event and to the conditional constraints, such that at least some of the semantics of the conditional constraints are preserved in the ECondCSP when one or more of the variables to which the semantics are applied are inactive. The ECondCSP is solved to generate a test case for the system.

Automatic test program generation using extended conditional constraint satisfaction

An storage area network (SAN) has a manager digital data processor that includes a first element that maintains a first representation of the SAN and a second element that maintains a second representation of the SAN. The first element generates notifications of events in the SAN, e.g., addition or removal of components or relationships between components, and includes with them data pertaining to the event. The second element responds to such notifications and data by updating the second representation. That data is preferably sufficient for the second element to update the second representation without further reference to information contained in the representation.

Storage area network methods and apparatus using event notifications with data

A method for diagnosis of a system made up of a plurality of interlinked modules includes receiving an alarm from the system indicative of a fault in one of the modules. Responsive to the alarm, a causal network is constructed associating the fault with malfunctions in one or more of the modules that may have led to the fault and relating a conditional probability of the fault to respective probabilities of the malfunctions. Based on the alarm and the causal network, at least one of the probabilities of the malfunctions is updated. A diagnosis of the alarm is proposed responsive to the updated probabilities.

Proactive on-line diagnostics in a manageable network

Growing community of inventors

Haifa, Israel

Kirill Shoikhet