| http://www.w3.org/ns/prov#value | - If P is a program to implement speci???cation F on domain D and ?? is a ???nite collectionof programs, then a test suite T ??? D is adequate for P relative to ?? if (??? programs Q ??? ??), [Q(D) =F (D)] ??? [(???Tf ??? T1 , . . . , Te )(Q(Tf ) = F (Tf ))]. 2 Clearly, an adequate test suite is ???stronger??? than a relative adequate one.
|
