作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2010, Vol. 36 ›› Issue (14): 54-55. doi: 10.3969/j.issn.1000-3428.2010.14.020

• 软件技术与数据库 • 上一篇    下一篇

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

辛 良,姜淑娟   

  1. (中国矿业大学计算机科学与技术学院,徐州 221116)
  • 出版日期:2010-07-20 发布日期:2010-07-20
  • 作者简介:辛 良(1984-),男,硕士研究生,主研方向:软件分析与测试;姜淑娟,教授、博士、博士生导师
  • 基金资助:
    教育部科学技术研究基金资助重点项目(108063);江苏省自然科学基金资助项目(BK2008124);中国矿业大学研究基金资助项目(0D080310)

Program Fault Location Method Based on Critical Predicate

XIN Liang, JIANG Shu-juan   

  1. (School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221116)
  • Online:2010-07-20 Published:2010-07-20

摘要: 将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位。

关键词: 错误定位, 程序切片, 关键谓词

Abstract: The statements need to be tested can be decreased by applying the program slicing technology to locate program fault. This paper presents a program fault location method based on critical predicate. The method identifies the critical predicate that can affect the output result, adopts data slicing according to the predicate and fault output statement and introduces the code prioritization technology. It uses the information of data dependences and control dependences and can locate the fault precisely and quickly.

Key words: fault location, program slicing, critical predicate

中图分类号: