基于语义的软件服务故障自动诊断模型

An Auto-Failure Diagnosis Model of Software Service Using Semantic

摘要:

为解决现有的软件一体化应用软件平台在故障诊断方面不能有效描述软件服务的语义问题，提出一种基于语义的软件服务故障自动诊断模型。该模型采用语义的方法将故障分为故障标记、指令分析和行为依赖分析，构建了立语义特征库；其次利用观察掩码函数的可满足性挖掘隐性故障的可诊断性，为语义库模型中每一个事件状态建立索引表，并为所有状态标识，实现基于启发函数的语义自动诊断机，得到最优诊断路径；最后通过故障模拟对模型进行性能评估。实验表明，该模型不仅有效地降低服务的误报率，而且网络规模对模型的性能影响较小。

Abstract: