基于关键谓词的程序错误定位方法.pdfVIP

第36卷第14期 计算机工程 2010年7月 2010 V01．36 No．14 Engineering July Computer ·软件技术与数据库· 文章编号：loo㈣428(20loJl扣伽54枷2文献标识码，A 中圈分类号：TP311．1 基于关键谓词的程序错误定位方法 辛良。姜淑娟 (中国矿业大学计算机科学与技术学院，徐州221116) ■耍：将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法，从程序中找 出能影响输出结果的关键谓词。对该谓词和错误输出语句进行数据切片，并引入代码优先技术。该方法考虑了数据依赖和控制依赖，能实 现准确快速的错误定位。 关稍：错误定位；程序切片；关键谓词 MethodBasedonCriticalPredicate FaultLocation Program XIN Liang，JIANGShu-juan (SchoolofComputerScience 221116) Thestatementsneedtobetestedcanbedecreased the tolocate fault．This [Abstructl byapplyingprogramslicingtechnologyprogram paper faultlocationmethodbasedoncritical methodidentifiesthecritical thatCanaffectthe result, a output presentsprogram predicate．The predicate data tothe andfault statementandintroducesthecode USeStheinformationof accordingpredicate output prioritizationtechnology．It adoptsslicing the and data andcontrol andCanlocatefault dependencesdependences preciselyquickly． fault wordsi slicing；critical [Key location；programpredicate 1概述 (1)G上存在一条由节点m到节点n的路径P，对于路径 J。n是m’的后必经点； 在传统程序调试中，通常由程序员先设置断点，然后对 上的其他节点m’Ep一{m，n 失败的输入进行重运行，检查程序的运行状态并找到错误原 (2)n不是m的后必经点o 因，其过程费时费力。程序切片的概念由文献f1】首次提出， 程序切片不仅与兴趣点定义和使用的变量有关，还与影 它从源程序中抽取对程序中兴趣点上