文章详情
| 稿件标题： | 软件运行时验证加速中的多目标约束模型研究 |
| 稿件作者： | 刘彦斌 1,叶飞 2，王毅刚2 |
| 栏目名称： | 信息科学与控制工程 |
| 关键词： | 运行时验证；多目标约束；监控器；监控开销；运行时监控 |
| 文章摘要： | 通过监控程序运行检验软件运行是否满足给定性质的轻量级验证中常产生高额的时间开销，阻碍了该技术部署后在系统中的应用。如何减小验证开销、提高验证效率，已成为亟待解决的难点问题；通过识别运行时验证优化过程中多目标约束间的内在依赖关系，定义并构建了可加速监控器的判定方程，作为验证加速的多目标约束模型。实验表明：该模型的求解结果能够用来判定哪些是可加速监控器，为实施软件运行时验证的加速提供量化依据。 |
| 稿件基金： | 河北省自然科学基金项目（F2014506017） |
| 引用本文格式： | 刘彦斌,叶飞，王毅刚. 软件运行时验证加速中的多目标约束模型研究［J］.兵器装备工程学报，2016(9):79-82. LIU Yanbin, YE Fei， WANG Yigang. Research on Modeling for MultiObjective Constraint Among Speeding up Runtime Verification［J］.Journal of Ordnance Equipment Engineering,2016(9):79-82. |
| 刊期名称： | 2016年09期 |
| 出版时间： | 2016年9月 |
| 上线时间： | 2016年9月28日 |
| 浏览次数： | 2774 |
| 下载次数： | 531 |
| 免费阅读PDF | |