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