Patent ID: 7937343

Claim:
A computer program product, stored on a non-transitory computer-readable medium, that verifies accuracy of a component that is implemented from a model, the computer program product comprising code that: receives a number of randomly selected samples, M, that result from at least one test of the component, for M ≥ 1 ɛ ⁢ ln ⁡ ( 1 δ ) , wherein δ represents a confidence value in the range 0<δ<1, ε represents an accuracy level of p-est to its true value p, in the range 0<ε<1, p represents a probability that a randomly selected point is in accordance with a selected criterion, F, p-est, an estimate of p based on M randomly selected samples, is zero, and a probability that (p≧ε) is equal to or less than δ; determines if each of said randomly selected samples is not in accordance with said selected criterion, F; and verifies accuracy of said component based on whether each of said randomly selected samples is in not in accordance with said selected criterion F.