基于值替代的错误定位方法  

AN APPROACH FOR FAULT LOCATION BASED ON VALUE REPLACEMENT

作　　者：辛良[1] 姜淑娟[1] 

机构地区：[1]中国矿业大学计算机科学与技术学院,江苏徐州221008

出　　处：《计算机应用与软件》2011年第2期60-61,99,共3页Computer Applications and Software

基　　金：教育部科学技术研究重点项目(108063);江苏省自然科学基金(BK2008124);中国矿业大学研究基金(0D080310)

摘　　要：值替代方法通过查找能够影响失败运行错误输出的语句,并确定这类语句的IVMP(兴趣值映射对)。IVMP是由语句中原错误运行中的值映射集合和能产生正确输出的可替代值映射集合组成。这种方法应用于错误定位分析,对确定错误语句本身和与错误语句直接相关的语句非常有效。提出了一种同时考虑控制依赖和数据依赖的值替代算法,并加入了语句错误可能性分析,能全面分析程序中的错误。The key idea of value replacement is to be able to affect the program statements of wrong output during a failure running through locating them,and determine the Interesting Value Mapping Pair（IVMP） of these statements.IVMP consists of the mapping sets of original values derived from the failure running in statements and of replaceable values that can result in correct output in statements.To apply this approach in faults location analysis,it is very effective in locating the statements that are either the faulty statements of their own or directly affecting the faulty statements.This paper presents a value replacement algorithm which considers both control dependence and data dependence,and adds the possibility analyses of faulty statements,it can comprehensively analyse the faults in programs.

关 键 词：错误定位 值替代 控制依赖 数据依赖 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]