Abstract: A Fast Backup Storage and fast Recovery of Data (FBSRD) method for a facility, preferably with a SAN, coupled to a network with servers and workstations, operating in both a storage mode and a recovery mode. Coupled to the network are a primary storage, a repository, and a Backup Appliance computer BA. The BA runs a Backup Computer Program in association with at least one computer. When in storage mode, data is retrieved out of primary storage for back up, by taking snapshots and saving the retrieved data into repository in block format. In recovery mode, backed-up data is retrieved from repository and recovered into primary storage in either one of both block format and file format. The BA runs interactively with an Agent Computer Program residing in each server and workstation, and with a Backup User Interface management computer program operated by a user.

Abstract: 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.