TY - CHAP T1 - On stratified sampling for high coverage estimations T2 - Dependable Computing — EDCC-2 Y1 - 1996 A1 - Powell,David A1 - Michel Cukier A1 - Arlat,Jean ED - Hlawiczka,Andrzej ED - Silva,João ED - Simoncini,Luca KW - Computer science AB - This paper addresses the problem of estimating the coverage of a fault tolerance mechanism through statistical processing of observations collected in faultinjection experiments. In an earlier paper, several techniques for sampling the fault/activity input space of a fault tolerance mechanism were presented. Various estimators based on simple sampling in the whole space and stratified sampling in a partitioned space were studied; confidence limits were derived based on a normal approximation. In this paper, the validity of this approximation is analyzed, especially for high coverage systems. The theory of confidence regions is then introduced to estimate the coverage without approximation when, for practical reasons, stratification is used. Three statistics are considered for defining confidence regions. It is shown that one of these statistics — a vectorial statistic — is often more conservative than the other two. However, only the vectorial statistic is computationally tractable. The results obtained are compared with those based on approximation by means of three hypothetical example systems. JA - Dependable Computing — EDCC-2 T3 - Lecture Notes in Computer Science PB - Springer Berlin / Heidelberg VL - 1150 SN - 978-3-540-61772-3 UR - http://www.springerlink.com/content/7t2w2u472601h730/abstract/ ER -