International Business Machines Corporation

Ownbackup Ltd.

Citibank, N.a.

Informatica Corporation

Intranational Business Machines Corporation

Roy Emek

Itai Jaeger

Allon Adir

Yoav Avraham Katz

Yehuda Naveh

Eitan Marcus

Tzach Schechner

Gil Eliezer Shurek

Shady Copty

Ariel Berkman

Shai Lubliner

Oren Glickman

Sanjay Gupta

Louis M Weitzman

Todd Swanson

Alan Hartman

Shai Rubin

Anatoly Koyfman

Michael Vinov

Eyal Bin

Michael Veksler

Kirill Shoikhet

David Anaton

Lawrence Allyn McConville

Itai Kranz

Yehonatan Mazar

Bar Jakubovitz

Rahul Gudla

Shahar Yalov

Boris Bulanov

Barak Adorian

Igor Dozorets

Ido Grabinsky

Alex Goldin

Data representing ownership of a traditional asset of a first party having a predefined monetary value stored at a first party network node is replicated to a plurality of other party network nodes, including a second party network node, communicably coupled to the first party network node and to one another. Entry of data is received at the first party network node that represents a partition by the first party of the asset of the first party on a non-value axis into at least two non-overlapping assets and a transfer of ownership of one of those two assets to the second party. The data representing the partition of the non-value axis and transfer of ownership of one of the two non-overlapping assets to the second party is replicated to the plurality of other party nodes, including the second party network node.

Distributed database methods and systems

A method, including accessing a source database including records stored in tables, which are organized in a hierarchy defining respective parents and dependents of the tables, containing respective parent and dependent records, the records including attribute values. Upon presenting a first list of the tables, an input is received selecting a first table. Upon presenting a second list of the tables related to the first table, an input is received selecting a second table in the second list. Upon presenting filtering criteria for the selected tables, a filtering request is received for a given selected table. The request is applied to the given selected table to select a subset of the records in the given selected table and to generate a target database including the subset of the records and the records in the set that are the respective directly related records of the records in the subset.

Target environment data seeding

The present disclosure relates to software development and, more specifically, to continuous integration (CI) based software development systems, methods, and computer program products in which a system-under-test (SUT) is populated with production data that has been filtered or transformed, or both. In accordance with this approach, the filtered or transformed production test data can be automatically generated and seamlessly integrated into a continuous integration process. In some examples, the resulting filtered or transformed test data closely reflects real production data while, at the same time, consuming less data storage space and protecting an individual's sensitive information.

Production data in continuous integration flows

A system and a method are disclosed for processing hierarchical data structures, for example, XML (extensible markup language) documents. A tree view shows a visual representation of the input schema and the output schema and visual representations of associations between nodes from the input schema and output schema. A grid view shows mapping statements configured to map the input hierarchical data structure conforming to the input schema to an output hierarchical data structure conforming to the output schema. The grid view and the tree view are synchronized such that modifications performed using any one view result in corresponding modifications being presented in the other view. Modifications to mapping statements are validated to determine if path expressions used in the mapping statements are valid in the modified mapping statements.

Validating modifications to mapping statements for processing hierarchical data structures

Device, system and method of modeling homogeneous information. For example, a method that includes providing to a model-based application an input model including a refinable homogeneous record having a base type, wherein said homogeneous record is defined with a homogeneous constraint to only include data members of a type compatible with the base type. The homogeneous record is defined in a modeling environment that is able to automatically enforce the homogeneous constraint for the homogeneous record and for refinements thereof.

Device, system and method of modeling homogeneous information

A method for solving a constraint satisfaction problem (CSP) comprises identifying a first illegal combination associated with at least one variable, wherein the first illegal combination contradicts at least one constraint; grouping the first illegal combination with a second illegal combination, in response to determining that the first and second illegal combinations contradict the same constraint; identifying at least one failure explanation for each group of illegal combinations, wherein the failure explanation is associated with at least one illegal combination in said group to provide a reason for a contradicted constraint associated with the illegal combination; assigning a value to each variable in the given domain to solve the CSP within the limitations defined by the constraints in a solution path; and generating a result, in response to determining that at least one assigned value to a variable contradicts a constraint.

Context-based failure reporting for a constraint satisfaction problem

A computer software product is provided. The product includes a computer-readable medium in which computer program instructions are stored, which instructions, when read by a computer, cause the computer to perform a method for functional verification of a design, having an operational space comprising the steps of accepting as an input a test template that specifies test parameters directed to a function of the design, the template comprising constraints and variables covering a working space within the operational space, associating an exemption mode of operation with at least one of the constraints or at least one of the variables, wherein a domain of the at least one of the variables is modified or the at least one of the constraints is disabled in the exemption mode of operation, producing a test case that lies in the operational space of the design by enabling the exemption mode of operation, the test case comprising a series of transactions originating from the template, wherein the transactions exercise the function of the design, wherein the working space is modified in the exemption mode of operation and submitting the test case for execution by the design, wherein the exemption mode of operation is associated with only a portion of the template.

Highly specialized scenarios in random test generation

Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

Determining compliance rates for probabilistic requests

A computer-implemented method for verification of a hardware design includes specifying requests to allocate regions in a memory of the hardware design, such that at least two of the requests are specified independently of one another. The requests indicate respective allocation types. Overlap restrictions are specified between at least some of the allocation types. The requests and the overlap restrictions are automatically converted to a constraint satisfaction problem (CSP), which includes CSP constraints based on the requests, the allocation types and the overlap restrictions. The CSP is solved to produce a random test program, which includes a memory map that allocates the regions in the memory while complying with the requests and the overlap restrictions. The test program is applied to the hardware design.

Random stimuli generation of memory maps and memory allocations

The input for a test generator is a plurality of test templates, each of which typically aims at covering a specific verification task. Test templates direct the production of distinct transactions, which are the atomic functional building blocks of the design-under-verification. Test templates directed to different hardware functions of the scenario are dynamically interleaved. In this way several transactions are combined together in complex statements in order to achieve a complex test scenario. The transactions are submitted to the test generator, which generates test cases, in which the different hardware functions of the scenario are exercised in combinations. Variation among the test cases is achieved through a large number of random decisions made during the generation process.

Dynamically interleaving randomly generated test-cases for functional verification

Improvements in functional verification of a design are achieved by providing a test template that specifies test parameters directed to a function of the design. An exemption mode of operation is associated with a portion of the template, in which constraints and variables associated with the template are revised. The template is an input to a CSP engine, which, in cooperation with a test generator engine, produces test scenarios that lie in an expanded region of the generator's usual operational space. Provision is made for independently enabling and disabling a plurality of exemption modes of operation that are associated with the same or different areas of the template.

Growing community of inventors

Tel Aviv, Israel

Roy Emek