Simplified results
Assuming that with regard to some concepts, all test cases have the same probability about whether the service provider can offer the ìcorrectî service.
Theorem 2(Chernoff bounds): Consider independent identically distributed samples , from a Bernoulli distribution with expectation . Define the empirical estimate of based on these samples as
Corollary 2.1: For the functional validation problem described above, given any , if the sample size , then the probability .