Validation of Software for Bayesian Models Using Posterior Quantiles

Samantha R. Cook,Andrew Gelman,Donald B. Rubin
DOI: https://doi.org/10.1198/106186006x136976
2006-01-01
Journal of Computational and Graphical Statistics
Abstract:This article presents a simulation-based method designed to establish the computational correctness of software developed to fit a specific Bayesian model, capitalizing on properties of Bayesian posterior distributions. We illustrate the validation technique with two examples. The validation method is shown to find errors in software when they exist and, moreover, the validation output can be informative about the nature and location of such errors. We also compare our method with that of an earlier approach.
What problem does this paper attempt to address?