一种基于预测的运行时验证开销控制方法

摘要：

针对运行时验证中，监控模块对软件系统运行效率产生影响的问题，提出一种基于预测的控制运行时验证开销的方法。该方法主要是通过建立马尔可夫链（Markov Chain）和隐马尔可夫模型（Hidden Markov Model， HMM）对软件行为进行有限步的预测，并判断被验证的性质约束被违反的风险，依此对软件监控行为进行调整，从而实现将运行时验证所产生的额外开销控制在一定范围内的目标。这种方法能够有效地控制监控开销，但仍然需要进一步的研究。

关键词：运行时验证、马尔科夫链、隐马尔可夫模型、软件行为预测、开销控制

分类号：TP311(计算技术、计算机技术)

在线出版日期：2016-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：94-99