一种基于预测的运行时验证开销控制方法

• 作者: 江国华 胡磊
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 运行时验证 马尔科夫链 隐马尔可夫模型 软件行为预测 开销控制
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 软件工程
• 页码范围: 94-99
• 页数: 6页
• 分类号: TP311
• 字数: 5867字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2016.04.019

摘要

针对运行时验证中，监控模块对软件系统运行效率产生影响的问题，提出一种基于预测的控制运行时验证开销的方法。该方法主要是通过建立马尔可夫链（Markov Chain）和隐马尔可夫模型（Hidden Markov Model， HMM）对软件行为进行有限步的预测，并判断被验证的性质约束被违反的风险，依此对软件监控行为进行调整，从而实现将运行时验证所产生的额外开销控制在一定范围内的目标。这种方法能够有效地控制监控开销，但仍然需要进一步的研究。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	江国华	南京航空航天大学计算机科学与技术学院	29	79	5.0	6.0
2	胡磊	南京航空航天大学计算机科学与技术学院	6	2	1.0	1.0