利用领域知识的高效参数化模型检测
软件工程
2018-12-27 v1
摘要
我们引入一种高效的参数化模型检测（ePMC）方法，用于分析软件系统的可靠性、性能及其他服务质量（QoS）属性。ePMC通过利用软件组件的领域特定建模模式，加速了对建模软件行为的参数化Markov链的分析。为此，ePMC预计算此类模式的关键QoS属性的闭式表达式，并在整体系统模型的分析中使用这些表达式。为评估ePMC，我们展示了将其应用于基于服务的系统及多层软件架构时，与当前参数化模型检测方法相比，分析时间减少了数个数量级。
引用
@article{arxiv.1812.09952,
title = {Efficient Parametric Model Checking Using Domain Knowledge},
author = {Radu Calinescu and Colin Paterson and Kenneth Johnson},
journal= {arXiv preprint arXiv:1812.09952},
year = {2018}
}