A Bayesian Approach to Software Testing Evaluation