基于检查点的分布式软件监控与可信性评价  

Distributed software monitoring and trustworthiness evaluation based on checkpoints

作　　者：李珍[1] 田俊峰[1] 常卓[1] 马晓雪[2] 

机构地区：[1]河北大学计算机科学与技术学院,河北保定071000 [2]河北大学计算机教学部,河北保定071000

出　　处：《通信学报》2016年第3期7-19,共13页Journal on Communications

基　　金：国家自然科学基金资助项目(No.61170254);河北省自然科学基金资助项目(No.F2015201089;No.F2014201099);河北省高等学校科学技术研究青年基金项目(No.QN2016149);河北大学自然科学研究计划基金资助项目(No.2013-250)~~

摘　　要：基于检查点的传统软件可信性评价方法以及目前针对分布式软件的交互关联规则,对于具有复杂交互行为的分布式软件均不适用。采用伴随式分布式软件监控机制,在节点内织入3类检查点,引入适应复杂交互场景的交互关联规则。通过将节点分解为多层模块结构,进行基于检查点结构树的节点实例可信性以及基于节点的分布式软件可信性评价。实验表明能以较小的监控开销,更准确地评价分布式软件实例的可信性,能够处理无限路径,且不存在大状态空间问题。Traditional software trustworthiness evaluation based on checkpoints and the existing interaction association rules for distributed software were inapplicable to distributed software with complex interactions. According to this problem, an accompanying distributed software monitoring mechanism was used, and three types of checkpoints in nodes and interaction association rules were introduced for complex interaction scene. The trustworthiness of the node instance was evaluated based on checkpoint structure tree by dividing nodes into several modules, and then the trustworthiness of distributed software was evaluated based on nodes. The experimental results showed that the approaches could evaluate the trustworthiness of distributed software instance accurately with small monitoring cost, and could be suitable for infinitely long paths with no state explosion problem for trustworthiness evaluation of distributed software.

关 键 词：分布式软件 可信性 检查点 交互 行为监控 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]