基于马尔可夫的检查点可信评估方法

• 作者: 张亚姣 田俊峰
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 软件可信评估 检查点 马尔可夫模型 混合高斯分布
• 年，卷（期）: 2015,（1）
• 所属期刊栏目: 学术通信
• 页码范围: 230-236
• 页数: 7页
• 分类号: TP393.08
• 字数: 6382字
• 语种: 中文
• DOI: 10.11959/j.issn.1000-436x.2015026

摘要

为了发现软件的脆弱点,通过动态监测行为,对软件及其模块在一段时间内运行的可信状况进行研究,提出了基于马尔可夫的检查点可信评估模型.模型通过在软件行为轨迹中织入若干检查点来反映软件运行的行为表现,然后对检查点可信程度进行等级划分,通过马尔可夫模型及检查点权重反映检查点可信情况,最后综合每个检查点的可信情况得到软件整体的可信性.实验结果表明该模型能够有效反映软件中各部分可信情况,验证了模型的合理性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田俊峰	河北大学数学与计算机学院	121	962	17.0	24.0
2	张亚姣	河北大学数学与计算机学院	1	10	1.0	1.0