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

作者：刘彦斌; 叶飞; 刚运行时验证多目标约束监控器监控开销运行时监控

摘要：由于复杂性质的运行时验证中常产生高额时间开销,影响了该技术在系统部署后的应用;减小验证开销提高验证效率已成为亟待解决的难点问题;通过识别运行时验证优化过程中多目标约束间的内在依赖关系,定义并构建了可加速监控器的判定方程,作为验证加速中的多目标约束模型;实验表明：该模型的求解结果能够用来判定可加速监控器,为实施软件运行时验证加速提供量化依据。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社