研究论文

内存切片

作者:

香玉张作者信息和声明

ISSTA’09：第十八届软件测试与分析国际研讨会会议记录

2009年7月

页165-176

https://doi.org/10.1145/1572272.1572292

出版:2009年7月19日出版历史

获取访问权限

摘要

传统的动态程序切片技术是以代码为中心的，在执行的语句实例之间引入了意义依赖，从而产生了诸如空间需求由执行长度决定等各种问题；依赖图是高度冗余的，因此检查它们需要耗费大量人力。在本文中，我们提出了一种以数据为中心的动态切片技术，其中在内存位置之间引入了依赖关系。这样做，空间复杂性受内存占用而不是执行长度的限制。此外，由于冗余依赖性被抑制，因此在调试期间呈现内存位置之间的依赖性通常更适合于人工检查。我们的评估表明，该技术在有效性和效率方面取代了传统的动态切片技术。

工具书类

[1]

H.Agrawal和J.R.Horgan。动态程序切片。《ACM SIGPLAN编程语言设计与实现（PLDI）会议论文集》，246-2561990年。

数字图书馆

[2]

M.Berndl、O.Lhotak、F.Qian、L.Hendren和N.Umanee。指向使用BDD进行分析的指针。《ACM SIGPLAN编程语言设计与实现（PLDI）会议论文集》，103-1142003年。

数字图书馆

[3]

A.Beszedes、T.Gergely、Z.M.Szabo、J.C.和T.Gyimothy。用于维护大型c程序的动态切片方法。2001年3月，葡萄牙里斯本，CSMR'01:《第五届欧洲软件维护与再工程会议记录》，第105-113页。

数字图书馆

[4]

R.E.布莱恩特。布尔函数操作的基于图形的算法。IEEE计算机汇刊，35（8），677-6911986。

数字图书馆

[5]

G.Z.Chrysos和J.S.Emer.使用存储集进行内存依赖预测。ISCA：第25届计算机体系结构国际研讨会论文集，142-1531998年。

数字图书馆

[6]

暗黑破坏神二进制重写框架。http://www.elis.ugent.be/diablo/。

[7]

J.Ferrante、K.J.Ottenstein和J.D.Warren。程序依赖图及其在优化中的应用。在《美国计算机学会编程语言与系统学报》（TOPLAS）中，9（3）：319-3491987年7月。

数字图书馆

[8]

M.Gabel和Z.Su.时间规范的符号挖掘。《国际软件工程会议（ICSE）论文集》，51-602008年。

数字图书馆

[9]

B.Korel和J.Laski。动态程序切片，《信息处理快报》，29（3），1988年。

数字图书馆

[10]

J.林德尼尔森。BuDDy，一个二进制决策图包。http://buddy.sourceforge.net。

[11]

S.Lu、Z.Li、F.Qin、L.Tan、P.Zhou和Y.Zhou。Bugbench：用于评估错误检测工具的基准。在软件缺陷检测工具评估研讨会上，伊利诺伊州芝加哥，2005年。

[12]

N.Nethercote和J.Seward。Valgrind：重量级动态二进制指令插入框架。《ACM SIGPLAN编程语言设计与实现（PLDI）会议论文集》，89-1002007年。

数字图书馆

[13]

F.Qin和C.Wang，Z.Li和H.Kim，Y.Zhou和Y.Wu。LIFT：用于检测安全攻击的低端实用信息流跟踪系统。在MICRO:第38届微体系结构国际研讨会论文集，135-1482006。

数字图书馆

[14]

F.提示。程序切片技术综述。《程序语言杂志》，121-1891995年。

[15]

M.Vaziri和F.Tip以及J.Dolby。在面向对象语言中将同步约束与数据相关联。在编程语言原理研讨会（POPL）的会议记录中，334-3452006。

数字图书馆

[16]

T.Wang和A.Roychoudhury。分层动态切片。在ISSTA:软件测试与分析国际研讨会上，228-2382007。

数字图书馆

[17]

T.Wang和A.Roychoudhury。将压缩字节码跟踪用于切片Java程序。《国际软件工程会议（ICSE）论文集》，512-5212004年。

数字图书馆

[18]

M.Weiser。程序切片。《国际软件工程会议记录》（ICSE），439-449，加利福尼亚州圣地亚哥，1981年。

数字图书馆

[19]

J.Whaley和D.Avots以及M.Carbin和M.S.Lam。使用带有二进制决策图的数据日志进行程序分析。《程序设计语言与系统学报：第三届亚洲研讨会》，2005年。

数字图书馆

[20]

B.Xin和X.Zhang。动态控制相关性的高效在线检测。《ACM/SIGSOFT软件测试与分析国际研讨会论文集》，第185-195页。ACM，2007年7月。

数字图书馆

[21]

L.Yuan和J.Mai以及Z.Su和H.Chen以及C.N.Chuah和P.Mohapatra。消防员：防火墙建模和分析工具包。在IEEE安全与隐私研讨会上，199-2132006。

数字图书馆

[22]

十、张。通过精确动态切片进行故障定位。亚利桑那大学博士论文，2006年。

数字图书馆

[23]

X.Zhang和R.Gupta以及Y.Zhang。使用降阶二元决策图进行动态切片的高效正向计算。《国际软件工程会议论文集》，502-5112004。

数字图书馆

引用人

毛X雷Y戴Z齐Y王C(2014)基于切片的统计故障定位系统与软件杂志10.5555/2747476.274752689：C(51-62)在线发布日期：2014年3月1日
https://dl.acm.org/doi/10.5555/2747476276
王毅帕蒂尔H佩雷拉C吕克G古普塔R尼姆图一世(2014)DrDebug（调试）IEEE/ACM年度代码生成与优化国际研讨会论文集10.1145/2581122.2544152(98-108)在线发布日期：2014年2月15日
https://dl.acm.org/doi/10.1145/2581122.2544152
王毅帕蒂尔H佩雷拉C吕克G古普塔R尼姆图一世(2014)DrDebug（调试）IEEE/ACM年度代码生成与优化国际研讨会论文集10.1145/2544137.2544152(98-108)在线发布日期：2014年2月15日
https://dl.acm.org/doi/10.1145/2544137.2544152
显示更多引用者

索引术语

内存切片
1. 软件及其工程
  1. 软件创建和管理
    1. 软件验证和确认
      1. 工艺验证
        可追溯性
      2. 软件缺陷分析
        软件测试和调试

建议

非结构化程序的动态程序切片计算

动态程序切片是程序的一个可执行部分，对于同一程序输入，它的行为与原始程序在某个执行位置的相关变量的行为相同。现有的……算法。。。
阅读更多信息
动态切片在实际断层定位中的有效性研究

多年来，人们一直认为动态切片算法有助于调试。然而，据我们所知，尚未对使用动态切片定位程序中存在的实际故障的好处进行详细的评估研究。。。
阅读更多信息
优先静态切片及其在故障定位中的应用

我们构建了一个模型PrioSlice，它对静态切片中的语句进行优先级排序。并不是静态切片中的所有语句都同样有可能传播效果。某些数据依赖关系比其他数据依赖关系更容易发生。控件依赖性不太可能。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

ISSTA’09：第十八届软件测试与分析国际研讨会会议记录

2009年7月

306页

国际标准图书编号：9781605583389

内政部：10.1145/1572272

总主席：
格雷格·罗瑟梅尔
美国内布拉斯加州大学林肯分校
,
项目主席：
劳拉·狄龙
美国密歇根州立大学

版权所有©2009 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2009年7月19日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

研究文章

会议

ISSTA’09年

赞助商：

ISSTA’09：软件测试与分析国际研讨会

2009年7月19日至23日

伊利诺伊州，芝加哥，美国

接受率

总体接受率213份提交文件中的58份，27%

即将召开的会议

ISSTA’24

赞助商：
sigsoft软件

第33届ACM SIGSOFT国际软件测试与分析研讨会

2024年9月16日至20日

维也纳，奥地利

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

8
引文总数
查看引文
327
总下载次数

下载次数（过去12个月）三
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

毛X雷Y戴Z齐Y王C(2014)基于切片的统计故障定位系统与软件杂志10.5555/2747476.274752689：C(51-62)在线发布日期：2014年3月1日
https://dl.acm.org/doi/10.5555/2747476276
王毅帕蒂尔H佩雷拉C吕克G古普塔R尼姆图一世(2014)DrDebug（调试）IEEE/ACM年度代码生成与优化国际研讨会论文集10.1145/2581122.2544152(98-108)在线发布日期：2014年2月15日
https://dl.acm.org/doi/10.1145/2581122.2544152
王毅帕蒂尔H佩雷拉C吕克G古普塔R尼姆图一世(2014)DrDebug（调试）年度IEEE/ACM代码生成与优化国际研讨会论文集10.1145/2544137.2544152(98-108)在线发布日期：2014年2月15日
https://dl.acm.org/doi/10.1145/2544137.2544152
张平（Zhang P）毛X雷Y张Z(2014)基于JSlice的Java程序动态切片的故障定位2014年IEEE第五届软件工程与服务科学国际会议10.1109/ICSES.2014.6933631(565-568)网上发布日期：2014年6月
https://doi.org/10.109/ICSESS.2014.6933631
雷Y毛X戴Z王C(2012)利用程序切片进行有效的统计故障定位2012 IEEE第36届计算机软件和应用年度会议记录10.1109/COMPSAC.2012.9(1-10)在线发布日期：2012年7月16日
https://dl.acm.org/doi/10.109/COMPSAC.2012.9
El-Zaway M公司(2012)使用类型系统的堆切片第十二届国际计算科学及其应用会议记录——第三卷10.1007/978-3-642-31137-6_45(592-606)在线发布日期：2012年6月18日
https://dl.acm.org/doi/10.1007/978-3642-31137-6_45
公园Y里夫斯D张B惠L三湖RWong D公司(2011)通过图聚类导出常见恶意软件行为第六届ACM信息、计算机和通信安全研讨会会议记录10.1145/1966913.1966986(497-502)在线发布日期：2011年3月22日
https://dl.acm.org/doi/10.1145/1966913.1966986
拉尔森E(2010)SUDS公司自动化软件工程2007年10月10日/10515-010-0067-717:3(301-346)在线发布日期：2010年9月1日
https://dl.acm.org/doi/10.1007/s10515-010-0067-7

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子