【摘 要】
：
针对程序切片方法不提供语句的可疑程度描述,而覆盖分析方法不能充分分析程序元素间的相互影响等问题,提出上下文统计分析的软件故障定位方法。首先,将源程序转换为抽象语法
【机 构】
：
哈尔滨学院软件学院,哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
哈尔滨学院青年基金资助项目(HUYF2014-007);黑龙江省高教学会“十二五”重点规划课题(HGJXHA1110950);黑龙江省教育科学规划青年专项课题(GJD1214038);国家自然科学基金资助项目(61202092);高等学校博士学科点专项科研基金资助项目(20112302120052);哈尔滨科技创新人才研究专项资金资助项目(RC2013QN010001,2014RFQXJ062
论文部分内容阅读
针对程序切片方法不提供语句的可疑程度描述,而覆盖分析方法不能充分分析程序元素间的相互影响等问题,提出上下文统计分析的软件故障定位方法。首先,将源程序转换为抽象语法树和程序依赖图;接下来,插桩程序,收集运行时信息;然后,根据失效点,执行按需的反向动态切片,确定失效产生的上下文;最后,对于反向动态切片中的节点,统计计算可疑度,输出带可疑度排序的动态程序切片。该方法不但描述了失效产生的上下文,还计算上下文中各个语句的可疑度。实验结果表明,所提方法与单一的覆盖分析方法相比,平均Expense降低了1.3%,与单一
其他文献
介绍了利用混合澄清槽的方法对铀进行萃取分离,简述了铀萃取过程的总体方案,分析了系统设计中的关键技术以及硬件、软件的设计。本文针对铀提取工程的工艺,设计出了一套完整
某机型齿轮零件工艺为滚齿、剃齿、热处理。长期以来，滚齿、剃齿加工成形的齿形、齿向要求均为理论值，即齿形、齿向没有特殊要求，只要在公差范围内即属合格产品。但经热处理后（渗
目的：探讨双歧杆菌对高脂饮食诱导非酒精性脂肪性肝病大鼠血脂代谢的影响。方法将45只雄性 SD大鼠随机等分为对照组、模型组和治疗组。对照组喂以普通饲料，模型组喂以高脂饲料，
近年来,磁纳米线上畴壁运动因其在开发磁性逻辑器件和新型数据存储器等领域有潜在应用而备受关注。而在这些器件中,畴壁运动技术是关键。目前驱动畴壁运动的方式主要有四种,
针对双脉冲固体火箭发动机，设计了一种适合于第2脉冲点火的内埋点火方案。该方案采用环形点火器，药粒状的硼/硝酸钾作为点火用药，使用可烧蚀的高强度铝合金材料作为点火器壳体。
主要介绍了先进控制系统在中国石油化工股份有限公司洛阳分公司I套蜡油催化裂化（FCC）装置上的工业应用情况.针对FCC装置的实际工艺条件与控制目标,论述了先进控制系统的组成和
随着社会主义市场经济的快速发展,目前我国的企业财务管理工作逐渐成为提升企业综合竞争力的主要途径。立足于现状,首先分析了财务管理中实施成本控制的意义,其次对企业成本
随着新形势下市场经济的快速发展，建筑企业财务管理工作对于其发展越来越重要。建筑企业应当充分认识到财务管理的必要性与重要性，不断加强自身企业财务管理，革新各项财务管理机
为解决传统探头检测小径管周向缺陷时,易出现漏检或耗时长的缺点,设计了一款针对此类缺陷的涡流探头。通过有限元仿真和试验的方法对探头的几何参数进行优化,分析了磁性材料
【目的】建立鱼腥草离体再生系统和农杆菌介导的遗传转化方法。【方法】以鱼腥草叶片为外植体置于不同激素配比的MS培养基上，进行愈伤组织诱导和分化再生以根癌农杆菌EHA105／pc