基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数.提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术.该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位.
推荐文章
一种基于谓词分层覆盖矩阵的缺陷定位方法
程序频谱
谓词错误
分层覆盖矩阵
缺陷定位
基于增强径向函数神经网络的错误定位方法
错误定位
程序调试
径向基神经网络
正交实验设计
软件测试
基于增强GA-BP神经网络的软件错误定位方法
错误定位
GA-BP神经网络
正交实验设计
基于逻辑一致性判定的广义不透明谓词检测方法
不透明谓词
约束求解
执行逻辑
后趋约束
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于关键谓词的程序错误定位方法
来源期刊 计算机工程 学科 工学
关键词 错误定位 程序切片 关键谓词
年,卷(期) 2010,(14) 所属期刊栏目
研究方向 页码范围 54-55,58
页数 分类号 TP311.1
字数 3181字 语种 中文
DOI 10.3969/j.issn.1000-3428.2010.14.020
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 姜淑娟 中国矿业大学计算机科学与技术学院 85 517 12.0 18.0
2 辛良 中国矿业大学计算机科学与技术学院 16 40 4.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (6)
共引文献  (37)
参考文献  (2)
节点文献
引证文献  (2)
同被引文献  (3)
二级引证文献  (4)
1982(1)
  • 参考文献(1)
  • 二级参考文献(0)
1984(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(2)
  • 引证文献(0)
  • 二级引证文献(2)
2019(2)
  • 引证文献(0)
  • 二级引证文献(2)
研究主题发展历程
节点文献
错误定位
程序切片
关键谓词
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程
月刊
1000-3428
31-1289/TP
大16开
上海市桂林路418号
4-310
1975
chi
出版文献量(篇)
31987
总下载数(次)
53
总被引数(次)
317027
相关基金
江苏省自然科学基金
英文译名:Natural Science Foundation of Jiangsu Province
官方网址:http://www.jsnsf.gov.cn/News.aspx?a=37
项目类型:
学科类型:
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导