【摘 要】
：
故障定位是故障诊断的关键环节,直接影响故障维护的效率。提出一种基于软件规约信息的动态定位方法,分析系统实际运行轨迹信息与预期轨迹信息间的差异,实现系统的故障定位。
【机 构】
：
海军工程大学计算机工程系 武汉 430033
【出 处】
：
2008全国软件与应用学术会议(NASAC'08)
论文部分内容阅读
故障定位是故障诊断的关键环节,直接影响故障维护的效率。提出一种基于软件规约信息的动态定位方法,分析系统实际运行轨迹信息与预期轨迹信息间的差异,实现系统的故障定位。首先给出一种改进的探针植入策略,依据该策略在系统特定位置植入探针,在系统运行时即可获取系统实际运行信息。然后结合软件规约中描述的系统预期状态信息,在分析了可能导致系统实际运行轨迹与预期轨迹间产生不同的差异的原因后,给出相对应的定位方法,主要用于定位控制流异常或数据操作错误导致的系统故障。最后通过实例分析了本方法的可行性。
其他文献
SNORT是一个强大的轻量级的网络入侵检测系统,它具有实时数据流量分析和日志IP网络数据包的能力,能够进行协议分析,对内容搜索或者匹配。检测引擎作为Snort的核心模块,其模式
PMIC (power management integrated chip) devices become more and more important when more and more different chips integrated together. Such as in cell phone dev
K-Means是一种基于划分的聚类算法,然而传统的K-Means算法事先必须知道聚类的数目值K,并且初始的K个聚类中心的选择是随机的。针对此算法的这两个缺点提出了一种改进的K-Mean
多视点需求工程方法为大型复杂系统的需求获取提供了良好的工具,每个视点从不同的角度描述了干系人对系统的需求,如何将这些分散的、不完整的视点集成起来,从而得到一个完整
随着Internet的普及应用,软件实体需要在运行过程中感知环境的变化,调整自身的结构和运行方式以适应环境的变化,这已经成为互联网时代软件技术所面临的重要问题之一。自适应A
目的 探讨DEHP对大鼠脂质过氧化反应的影响。方法 通过对不同剂量DEHP染毒大鼠的血液、肝组织匀浆、线粒体匀浆中GSH -Px、GST、SOD、MDA指标的测定。结果 随着DEHP染毒剂
研究了目前应用较广的几种GUI功能测试工具,比较其功能测试的自动化技术。然后提出了一种基于Windows GUI功能测试的体系结构,研究其中的测试脚本开发平台,设计并实现了一种
前言 美国很多航空管制人员(ATCSs)实行包括逆时钟快轮换的值班时间表。研究人员已经报道了与轮班工作相关的负性健康效应,提示轮班工人们遭受最严重的后果。这项研究的目的
各位读者大家好： 我是吉林孙喜友，2009年第七期刊出“石粉变塑料 改变我的命运”后，多家杂志社派记者到我厂采访，我从一个摆地摊的小贩子变成事业有成的小老板，人这辈子，生容易，活容易，生活不容易，我十几年从开小超市到当鱼贩子起五更睡半夜，盼着早一天过上有钱有闲轻松的日子，石粉变塑料，让梦想成真，现在我的心情用四个字形容，老高兴了。 2004年我在老家经营小超市，一位开汽车修配的朋友让我担保贷款
本刊讯鉴于住总集团在人居建设领域、特别是在保障性住房建设方面的突出贡献,日前,中国房地产建筑技术促进会、中国住宅环境发展中心、中国建筑施工与监理管理学会、中国楼市