Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing