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