Computer checking tool
AssigneeInria Institut National De Recherche En Informatique Et En Automatique
InventorsFrederic Cerou, Teddy Furon, Arnaud Guyader
Life of this patent
Estimating the term…
Loading patent…
AssigneeInria Institut National De Recherche En Informatique Et En Automatique
InventorsFrederic Cerou, Teddy Furon, Arnaud Guyader
Estimating the term…
The invention relates to a computer checking tool that can repeatedly process a plurality of data sets including data distributed according to a statistical rule. The tool includes an estimator (8) that can establish, for a data set, a value characterising the reproduction of a criterion concerning the data contained therein, a driver (6) designed to call the estimator (8) with a plurality of data sets in order to determine a plurality of values and establish a new plurality of sets from the plurality of values, and repeat the estimator (8) call with a new previously established plurality of sets until a condition is verified that involves an extremum of said plurality of values and/or number of repetitions. The tool also includes a mixer (10) that can establish a new set of data on the basis of an existing data set while maintaining the distribution according to the statistical rule, and the driver (6) is designed to call the mixer (10) with at least some of the data sets according to a rule based on the plurality of values associated with said sets.
A computer checking tool that is able to repeatedly process a plurality of data sets, each data set including data distributed according to a chosen statistical rule, the tool comprising:
A computer checking method that is able to repeatedly process a plurality of data sets, comprising the following steps:
Dependencies are inferred from the claim text.