Query-based generation of data records
First Claim
Patent Images
1. A computer-implemented method performed by a processor, the method comprising:
- testing a database management system of a database by;
generating in the database at least one data record based on a database query to the database management system, so that upon execution of the database query by the database management system the at least one data record is involved in processing the database query;
wherein said generating comprises;
identifying a set of constraints in the database query;
determining a satisfaction problem of a data record that is characterized in satisfying at least a portion of the set of constraints;
solving the satisfaction problem using a satisfaction problem solver, thereby determining the data record, wherein the satisfaction solver is selected from a group consisting of;
a Constraint Satisfaction Problem (CSP) solver, a Boolean satisfiability problem (SAT) solver, a theorem prover, and a linear programming solver; and
updating the database to include the data record;
performing the database query by the database management system, wherein operation of the database management system is affected by the database retaining the at least one data record; and
whereby the database management system is tested with respect to the database query.
1 Assignment
0 Petitions
Accused Products
Abstract
A method and apparatus for generating at least one data record in respect to a database query comprising a fetch command. A database may be updated according to the at least one data record. In an exemplary embodiment, a database management system may be tested by performing the database query against the database. In another exemplary embodiment, a data record that satisfies the database query is generated in order to increase coverage when testing a database management system.
-
Citations
19 Claims
-
1. A computer-implemented method performed by a processor, the method comprising:
-
testing a database management system of a database by; generating in the database at least one data record based on a database query to the database management system, so that upon execution of the database query by the database management system the at least one data record is involved in processing the database query; wherein said generating comprises; identifying a set of constraints in the database query; determining a satisfaction problem of a data record that is characterized in satisfying at least a portion of the set of constraints; solving the satisfaction problem using a satisfaction problem solver, thereby determining the data record, wherein the satisfaction solver is selected from a group consisting of;
a Constraint Satisfaction Problem (CSP) solver, a Boolean satisfiability problem (SAT) solver, a theorem prover, and a linear programming solver; andupdating the database to include the data record; performing the database query by the database management system, wherein operation of the database management system is affected by the database retaining the at least one data record; and whereby the database management system is tested with respect to the database query. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
-
10. A computerized apparatus comprising:
-
a processor which is arranged to; test a database management system of a database by; generating in the database at least one data record based on a database query to the database management system, so that upon execution of the database query by the database management system the at least one data record is involved in processing the database query; wherein said generating comprises; identifying a set of constraints in the database query; determining a satisfaction problem of a data record that is characterized in satisfying at least a portion of the set of constraints; solving the satisfaction problem using a satisfaction problem solver, thereby determining the data record, wherein the satisfaction solver is selected from a group consisting of;
a Constraint Satisfaction Problem (CSP) solver, a Boolean satisfiability problem (SAT) solver, a theorem prover, and a linear programming solver; andupdating the database to include the data record; and performing the database query by the database management system, wherein operation of the database management system is affected by the database retaining the at least one data record. - View Dependent Claims (11, 12, 13, 14, 15, 16, 17, 18)
-
-
19. A computer program product, said computer program product comprising:
-
a non-transitory computer readable medium, in which computer instructions are stored, which instructions, when read by a computer, cause the computer to; test a database management system of a database by; generating in the database at least one data record based on a database query to the database management system, so that upon execution of the database query by the database management system the at least one data record is involved in processing the database query; wherein said generating comprises; identifying a set of constraints in the database query; determining a satisfaction problem of a data record that is characterized in satisfying at least a portion of the set of constraints; solving the satisfaction problem using a satisfaction problem solver, thereby determining the data record, wherein the satisfaction solver is selected from a group consisting of;
a Constraint Satisfaction Problem (CSP) solver, a Boolean satisfiability problem (SAT) solver, a theorem prover, and a linear programming solver; andupdating the database to include the data record; and performing the database query by the database management system, wherein operation of the database management system is affected by the database retaining the at least one data record.
-
Specification