软件运行时验证加速中的多目标约束模型研究

摘要：

通过监控程序运行检验软件运行是否满足给定性质的轻量级验证中常产生高额的时间开销，阻碍了该技术部署后在系统中的应用。如何减小验证开销、提高验证效率，已成为亟待解决的难点问题；通过识别运行时验证优化过程中多目标约束间的内在依赖关系，定义并构建了可加速监控器的判定方程，作为验证加速的多目标约束模型。实验表明：该模型的求解结果能够用来判定哪些是可加速监控器，为实施软件运行时验证的加速提供量化依据。

关键词：运行时验证、多目标约束、监控器、监控开销、运行时监控

所属期刊栏目：37

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

资助基金：河北省自然科学基金项目F2014506017

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

页数：共5页

页码：79-82,104