一种基于程序切片算法的软件故障诊断策略

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:fems0601
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对软件纠错性维护问题,文章提出了一种基于程序切片和专家系统相结合的软件故障诊断策略。软件故障诊断策略是首先详细分析故障信息,了解系统功能缺陷的特征;其次进行粗诊断,确定最有可能出现故障的模块;在此基础上进行细诊断,详细分析故障代码,以确定最可能存在故障的程序语句集合;最后排除故障后确认修改的语句对相关模块没有影响。
其他文献
文章介绍了一个可以同时考虑时延约束和拥塞度优化的VLSI总体布线新方法。文章引入软边和滑动斯坦那点的概念,使布线的拓扑结构具有灵活性,使得总体布线在满足时延约束的情况下
基于已有的带宽管理机制,采用加权公平对竞争的流分配带宽,不仅可以对流实现准入控制,以保证每条流的最低信道时间需求,同时也能动态地调节流所分配的信道时间.另外,我们的方
介绍了蚁群算法的基本思想与原理,以及在多Agent系统中的设计、实现方法.给出了在多Agent系统环境中的仿真实验结果。仿真结果表明,将蚁群算法与Agent的行为规则有机结合,可以有
文章首先介绍了基于智能卡的动态服务系统模型及当前智能引擎的类型和应用,然后系统地从技术性能、应用领域、网络支持及品牌管理四个方面分析和讨论了智能引擎未来的发展趋势
系统在USB协议基础上,以DVD解决方案为依托,实现嵌入式USB主机系统在家庭娱乐消费产品中的应用软件设计与实现。文章介绍了USB协议的相关内容,系统结构的设计,系统部分上层软件的
文章研究了Web文本内容过滤的方法,分析了向量空间模型、关键词匹配算法等关键技术.并详细讨论了Web网页中文本内容过滤方法的实现过程。重点分析了该方法中的修正值选取、关键
当前航空电子系统是一个高度综合化、模块化的系统,作为其基础平台的核心处理计算机系统是一个综合数据处理、信号处理和图像处理的实时分布武计算机系统,可靠性要求很高,必
文章基于OGSA设计了一种网格数据管理框架.为网格环境中分布式异构数据提供方便、统一的管理和操作方式。描述了基于服务的网格数据管理框架的层次结构及功能,为网格数据管理系
对系统级设计中的硬软件分割问题建立数学模型.将系统级设计工具提供的性能分析功能与模拟退火算法相结合,设计了一种软件导引的模拟退火算法。该实现中将嵌入式系统性能指标(任
任务分配问题是公认的NP难问题。文章在以往有关多处理机任务分配算法的基础上,提出了一种适用于SMP系统结构的并行遗传调度算法。仿真结果表明。该算法具有较好的效果和收敛