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

摘要

Runtime verification of complicated properties imposed high overhead,which influences us to apply this method in the context of deployed systems.By identifying inherent dependencies among multi-objective constraint of runtime verification,a decision equation was constructed to decide that which is optimizable monitor,and this decision equation can be considered as a multi-objective constrained model for speeding up runtime verification.Experimental results show that this model is capable of deciding that the optimizable monitor and provides a quantitative basis for speeding up runtime verification.%由于复杂性质的运行时验证中常产生高额时间开销，影响了该技术在系统部署后的应用；减小验证开销提高验证效率已成为亟待解决的难点问题；通过识别运行时验证优化过程中多目标约束间的内在依赖关系，定义并构建了可加速监控器的判定方程，作为验证加速中的多目标约束模型；实验表明：该模型的求解结果能够用来判定可加速监控器，为实施软件运行时验证加速提供量化依据。