我是常客，但最近一直在探索贝叶斯技术。困扰我的一件事是我永远不能完全确定我是否正确地实现了它们。具体来说，我不是在谈论收敛、老化时间或自相关。我在说，'我的公式编码是否正确？'。

我现在要做的是增加样本量并观察后验以拥抱真实的参数值（使用模拟数据）。但这完全忽略了贝叶斯主义者喜欢谈论的先验和大样本属性的力量。

频率论技术以相对频率的形式做出可测试的预测。但在贝叶斯背景下，我们失去了基于相对频率的概率解释。那么如何以编程方式测试贝叶斯方法的软件实现呢？