International Business Machines Corporation

Kenneth Nagin

Alan Hartman

Itzhack Goldberg

Paul Regis Kram

Aviad Zlotnick

Eitan D Farchi

Yoram Novick

David Breitgand

Benny Rochwerger

Simona Cohen

Oded Cohn

John Michael Marberg

Irit Loy

Yotam Medini

Andrei Kirshin

Sergey Olvovsky

Ruthie D Lyle

Shmuel Ur

William Frank Micka

Alex Winokur

David Hadas

Yosef Moatti

Samuel Kallner

Dafna Sheinwald

Gilad Sharaby

Daniel Geist

Amir Epstein

Yael Shaham-Gafni

Ealan Abraham Henis

Nicholas D Fifer

Guy Sharon

Alexander Glikson

Liran Schour

Ezra Silvera

Shmuel Vashdi

Ilan Gayda

Julien Satran

Efri Zeidner

Benny Rochberger

Efaim Zeidner

Miron Horodi

Systems and methods for remotely provisioning software to process data stored in a virtualized storage environment are provided. In one embodiment, the method comprises receiving a request, at a first location, for processing data using a software application, wherein the data is stored in a virtualized storage space at a second location and the software application is invoked in a virtualized computing environment at a third location; using a service at the first location to remotely invoke one or more instances of the software application over the virtualized computing environment at the third location; and using the service at the first location to remotely manage transfer of data stored in the virtualized storage space at the second location to the third location.

Remote provisioning of virtual appliances for access to virtualized storage

Machines, systems and methods for managing quality of service in a virtualized computing environment, the method comprising: provisioning one or more active virtual machines (VMs) over one or more hosts in a virtualized computing network, wherein one or more resources are allocated to the active VMs before the active VMs service one or more requests; monitoring information associated with quality of service defined for servicing of the requests; and designating at least an active VM as a shadow VMs, in response to results of the monitoring, wherein at least one resource remains allocated to the shadow VM, while the shadow VM enters a dormant state and no longer services any requests.

Efficient provisioning and deployment of virtual machines

Machines, systems and methods for dynamically implementing storlets in a storage data path. The method comprises receiving a request to perform a storage-related function on data stored on a first data storage medium in a data storage system; verifying the request by way of an authentication and authorization mechanism to prevent unauthorized access to data stored on the first data storage medium in the data storage system; and utilizing a storlet to service the request, wherein the storlet is dynamically deployed on a node in the data storage system such that the node has sufficient resources to support the storlet to service the request.

Dynamic storlets in storage system data path

A method for establishing a communication connection between a first communication device and a second communication device, the method comprising requesting contact information for a second communication device, during a first communication connection established between a first communication device and a third communication device; receiving the contact information from the third communication device, in response to a third party interacting with the third communication device during the first communication connection; and establishing a second communication connection between the first communication device and the second communication device based on the contact information received from the third communication device, wherein the second communication connection is established by way of the first communication device independently initiating communication with the second communication device.

Call connection system and method

Systems and methods for migrating a virtual resource from a source host in a source network to a destination host in a destination network are provided. In one embodiment, the method comprises establishing a secure communication connection between a source proxy in the source network and a destination proxy in the destination network; and monitoring migration traffic directed from the source host to the source proxy and forwarding said traffic to the destination proxy which in turn forwards the traffic to the destination host over the secure communication connection between the source proxy and the destination proxy, such that the communication addresses of the source host and the destination host remain guarded from direct access by an entity outside of the source network or the destination network.

Migration of virtual resources over remotely connected networks

Systems and methods for deploying a virtual machine (VM) on a host are provided. An exemplary method comprises notifying a host to download a master copy of a VM image from a remotely located network storage device, in response to a service provider providing a definition manifest for a service request supported by the VM, wherein the host deploys the VM directly from the VM image downloaded to a storage medium locally connected to the host machine, wherein deployment of the VM allows the host to locally service the service request associated with the definition manifest, wherein the host replicates copies of the VM image, in response to receiving additional service requests to create one or more VM clones; wherein the host customizes the one or more VM clones based on the definition manifest.

Optimized deployment and replication of virtual machines

Two or more received SMS messages can be aggregated into a single consolidated SMS message. The consolidated SMS message can be conveyed across a boundary in accordance with SMS protocols. A fee per SMS message can be incurred for conveying SMS messages across the boundary. The fee can be minimized by use of the consolidated SMS message in lieu of having to convey multiple SMS messages. Once the consolidated SMS message have been conveyed across the boundary, the consolidated SMS message can be parsed or decomposed into its constituent SMS messages, each of which can be conveyed to an intended recipient.

Consolidating international short message service messages destined to multiple recipients

A defective self-sustained code-upgrade code is recovered. A relevant unset variable is set to avoid an un-initialized command failure. A relevant set variable is unset to render a second invocation of the set variable to appear as a first invocation A fix-named file is retrieved containing a plurality of code entries organized in a stanza style. The fixed-named file is executed. The plurality of stanza-organized entries are sourced by the defective code-upgrade code to change a variable which has been previously set, thereby overriding an existing process.

Transparent recovery of self-sustained code-upgrade

A system and method for restoring a computing system to a first operating state associated with a first system software code installed on the computing system is provided. The method comprises installing a second system software code on the computing system, while the system is operating in the first operating state. The second system software code is activated and the first system software code is deactivated to cause the computing system to operate in a second operating state. The first system software code is activated and the second system software code is deactivated to cause the system to return to the first operating state, if activation of the second system software code causes the system to operate in an undesirable manner.

Code recovery system and method

A method for reconfiguring a storage system communicating with a host, consisting of the steps of formulating a proposed reconfiguration of the storage system from an original configuration, and generating a record of operations of the storage system during an evaluation period in the original configuration. In response to the record, the method further consists of making a determination whether data accessed by the host in the original configuration during the evaluation period would have been unavailable to the host if the proposed reconfiguration had been implemented prior to the evaluation period. In response to the determination, a decision is made whether to implement the proposed reconfiguration.

Checking storage reconfiguration

A test coverage tool provides output that identifies differences between the actual coverage provided by a test suite run on a program under test and the coverage criteria (e.g., the coverage criteria required by the test/development team management). The output from the test coverage tool is generated in the same language that was used to write the coverage criteria that are input to an automated test generator to create the test cases which form the test suite. As a result, the output from the coverage tool can be input back into the automated test generator to cause the generator to revise the test cases to correct the inadequacies. This allows iterative refinement of the test suite automatically, enabling automated test generation to be more effectively and efficiently used with more complex software and more complex test generation inputs. In preferred embodiments, test coverage analysis results of several different test suites, some manually generated and others automatically generated, are used to produce a streamlined automatically-generated test suite and/or to add missing elements to an automatically generated test-suite.

Method and system for integrating test coverage measurements with model based test generation

Middleware is validated using a two layered modeling strategy for the generation of test suites. A high level model of the syntax of the programming language used to program the middleware generates a series of high level abstract programs. These high level abstract programs then undergo two separate translations. First they are translated directly into actual test programs, which are expressed in the programming language of the middleware. Second, they are translated into second models of the high level abstract programs. Running the model based test generator again on the second models produces a set of suites of test cases, each test case consisting of data inputs and predicted results for one of the actual test programs. The actual test programs are run repetitively using the middleware execution engine. The results are compared with the predicted results, using a generic validation engine.

Recursive use of model based test generation for middleware validation

An execution engine synchronizes test suite execution to run multiple independent operations concurrently or in parallel. The execution engine operates by stepping through the test suite. At each step it runs the required number of independent operations and waits for their completion. It then checks the results, and continues to the next step of the test suite. If at any step, the actual results are different from the expected results, then the exact sequence that triggered the fault is known. The sequence can be repeated when a correction is provided for the fault. Furthermore, the execution engine allows the user to interactively step through a test case when debugging a fault. A synchronization pattern generator may be incorporated in the system to generate minimal numbers of repetitions of test cases to guarantee varying degrees of interaction coverage.

Model based test generation for validation of parallel and concurrent software

The present invention enables the modeling of plural outcomes resulting from a single stimulus, thereby allowing for automated test generation for non-deterministic software. In accordance with the present invention, a method, system, and computer program product are disclosed for testing software having a non-deterministic outcome. In accordance with the present invention, a set of rules is created, each rule having an associated stimulus, a precondition computation, and a computation procedure to produce the set of all valid outcome states. Each valid outcome state models one of several states that may result from applying the stimulus to any state which satisfies the precondition computation. Using these models, a test generation program is executed against the set of rules to recursively expand each path associated with an outcome state of a rule and outputting a list of valid possible outcomes, then selecting sequences of stimuli in accordance with coverage goals set by the test engineer. A test execution engine is then run against the application under test applying the sequences of stimuli to the software and a list of observed states resulting from the application of the stimuli is compiled. Finally, the list of observed states is compared with the list of valid possible outcome states to identify defects (as well as to identify correct outcomes) in the application under test and ensure the attainment of the coverage goals.

Method, system, and computer program product for automated test generation for non-deterministic software using state transition rules

A design verification system generates a small set of test cases, from a finite state machine model of the application under test. The finite state machine is reduced by creating efficient samples of the inputs to the application under test which are prepared by combinatorial input parameter selection. The test cases are generated by finite state machine traversal of the reduced state machine, and tests interacting combinations of input parameters in an efficient way. The technique is integrated into a test generator based on a finite state machine. Using an extended language, partial rulesets are employed to instruct the test generator to automatically employ combinatorial input parameter selection during test generation. Another technique for test case generation is disclosed, which uses combinatorial selection algorithms to guarantee coverage of the system under test from the aspect of interaction between stimuli at different stages or transitions in the test case.

Growing community of inventors

Hamovil, Israel

Kenneth Nagin