| 基于关键谓词的程序错误定位方法 |
| |
| 引用本文： | 辛良,姜淑娟.基于关键谓词的程序错误定位方法[J].计算机工程,2010,36(14):54-55. |
| |
| 作者姓名： | 辛良 姜淑娟 |
| |
| 作者单位： | 中国矿业大学计算机科学与技术学院,徐州,221116 |
| |
| 基金项目： | 教育部科学技术研究基金资助重点项目，江苏省自然科学基金，中国矿业大学研究基金 |
| |
| 摘 要： | 将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法，从程序中找出能影响输出结果的关键谓词，对该谓词和错误输出语句进行数据切片，并引入代码优先技术。该方法考虑了数据依赖和控制依赖，能实现准确快速的错误定位。
|
| 关 键 词： | 错误定位 程序切片 关键谓词 |
Program Fault Location Method Based on Critical Predicate |
| |
| XIN Liang,JIANG Shu-juan.Program Fault Location Method Based on Critical Predicate[J].Computer Engineering,2010,36(14):54-55. |
| |
| Authors: | XIN Liang JIANG Shu-juan |
| |
| Affiliation: | (School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221116) |
| |
| 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. |
| |
| Keywords: | fault location program slicing critical predicate |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
