利用系统级观测改进定量验证中的模型参数贝叶斯学习

论文提出EPIK方法，用可直接观测且具现实语义的系统级属性替代对形式模型转移参数的先验知识，通过双重优化推导未知参数分布，并将其用于可靠性、响应时间及难测属性的定量验证。摘要称，多组真实案例变体和不同EPIK实例验证了方法的有效性、灵活性与通用性。