文章详情
| 稿件标题： | 多目标约束下软件运行时验证加速技术框架 |
| 稿件作者： | 刘彦斌 1,王毅刚 2，叶飞2 |
| 栏目名称： | 信息科学与控制工程 |
| 关键词： | 运行时验证；多目标约束；监控器；监控开销；运行时监控 |
| 文章摘要： | 软件运行时验证是一种近年来逐步兴起的通过监控程序运行来检验其是否满足给定性质的轻量级验证技术。由于复杂性质的运行时验证中常产生高额的时间开销，阻碍了该技术在部署后系统中的应用。在深入剖析国内外研究现状及存在问题基础上，从改善部署后软件运行时验证效率的角度出发，综合考虑性质违背检测能力、诊断支持能力等潜在开销优化制约因素，提出多目标约束下的软件运行时验证加速技术框架。该框架包括构建多目标约束模型、可加速监控器判定、加速控制技术研究以及原型工具开发等内容，并具体阐述了框架所涉及的关键技术方案。本研究将为解决运 |
| 稿件基金： | 河北省自然科学基金项目“多目标约束下的软件运行时验证加速技术研究”（F2014506017） |
| 引用本文格式： | 刘彦斌,王毅刚，叶飞. 多目标约束下软件运行时验证加速技术框架［J］.兵器装备工程学报，2016(8):88-92. LIU Yanbin, WANG Yigang, YE Fei. Runtime Verification Speeding up Based on MultiObjective Constraint［J］.Journal of Ordnance Equipment Engineering,2016(8):88-92. |
| 刊期名称： | 2016年08期 |
| 出版时间： | 2016年8月 |
| 上线时间： | 2016年8月28日 |
| 浏览次数： | 2805 |
| 下载次数： | 487 |
| 免费阅读PDF | |