多目标约束下软件运行时验证加速技术框架

摘要：

软件运行时验证是一种近年来逐步兴起的通过监控程序运行来检验其是否满足给定性质的轻量级验证技术。由于复杂性质的运行时验证中常产生高额的时间开销，阻碍了该技术在部署后系统中的应用。在深入剖析国内外研究现状及存在问题基础上，从改善部署后软件运行时验证效率的角度出发，综合考虑性质违背检测能力、诊断支持能力等潜在开销优化制约因素，提出多目标约束下的软件运行时验证加速技术框架。该框架包括构建多目标约束模型、可加速监控器判定、加速控制技术研究以及原型工具开发等内容，并具体阐述了框架所涉及的关键技术方案。本研究将为解决运行时验证中的开销问题提供关键技术支撑，为运行时验证技术在部署后系统中的工程化应用奠定基础。

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

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

资助基金：河北省自然科学基金项目“多目标约束下的软件运行时验证加速技术研究”F2014506017

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

页数：共6页

页码：88-92,121