Abstract
The aim of this paper is to propose a hierarchical Bayes approach and an appropriate loss function to perform a Bayesian analysis of the total number of software failures denoted by N. It is shown that the Bayes procedure is more stable than the maximum likelihood procedure and a stopping rule for debugging the software is suggested via the LIN EX loss function.