Contents

1 Introduction 4

2 An overview of testing methods used 5

3 Description of our experiment 7

4 Analysis of failure data 9

4.1 Reliability after a given number of failures : : : : : : : : : : : : : : : : : : : : : : : : 9
4.2 Reliability after a given execution time : : : : : : : : : : : : : : : : : : : : : : : : : : 13

5 The operational profile argument 15

5.1 Coverage cost : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 16

6 Summary and Future Work 17