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

摘要：

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

关键词：软件服务、语义、可诊断性

所属期刊栏目：23

分类号：TP391(计算技术、计算机技术)

资助基金：公安部重点研究计划项目;公安短波数字通信网系统总体规范项目201201ZDYJ013

在线出版日期：2015-12-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：3579-3581