第条

用于程序调试和指导的便携式虚拟机

作者:

卡米尔德梅特雷斯库和

艾琳菲诺基作者信息和声明

SAC’04：2004 ACM应用计算研讨会会议记录

2004年3月

页1524-1530

https://doi.org/10.1145/967900.968205

出版:2004年3月14日出版历史

获取访问权限

摘要

控制器是反应式系统，用于监视运行时环境并对发出的事件作出反应。控制器的典型示例是用于程序分析和软件可视化的调试器和工具。在本文中，我们描述了一个跨平台虚拟机，该虚拟机为实现控制器提供了先进的设施，而且工作量很小。

工具书类

[1]

H.Agrawal、R.DeMillo和E.Spafford。调试的执行支持跟踪方法。IEEE软件，21-261991年。

数字图书馆

[2]

M.Brown（布朗）。使用Balsa II探索算法。计算机，21（5）：14-361988。

数字图书馆

[3]

S.Chen、K.Fuchs和J.Chung。使用程序检测进行可逆调试。IEEE传输。软件工程，27（8）：715--7272001。

数字图书馆

[4]

J.Choi和H.Srinivasan。Java多线程应用程序的确定性重播。程序中。ACM SIGMETRICS交响乐团。《并行和分布式工具》（SPDT'98），48-591998年。

数字图书馆

[5]

M.公司。http://www.microsoft.com/net/。

[6]

P.Crescenzi、C.Demetrescu、I.Finocchi和R.Petreschi。莱昂纳多的可逆执行和程序可视化。视觉语言与计算杂志，11（2）：125-1502000。主页：http://www.dis.uniromal.it网站/~demetres/Lonardo/。

数字图书馆

[7]

M.戈兰和D.汉森。DUEL：一种非常高级的调试语言。程序中。冬季USENIX技术会议，107-1171993年。

[8]

J.Gosling、B.Joy和G.Steele。Java语言规范。Addison Wesley，雷丁文学硕士，1997年。

数字图书馆

[9]

K.Gough。将它们堆叠起来：虚拟机的比较。程序中。澳大利亚第六。公司。系统架构（Architecture）会议，55-61。IEEE CS出版社，2001年。

数字图书馆

[10]

K.Gough和D.Corney。评估Java虚拟机作为Java以外语言的目标。程序中。模块语言联合会议，LNCS 18972000。

数字图书馆

[11]

S.Graham、P.Kessler和M.McKusick。Gprof：一个调用图执行探查器。SIGPLAN通知，17（6）：120-1262982年。

数字图书馆

[12]

D.汉森。SNOBOL4中用于程序调试的事件关联。软件——实践与经验，8（2）：115-1291978。

[13]

C.Jeffery和R.Griswold。Icon中用于执行监控的框架。软件——实践与经验，24（11）：1025--10491994。

数字图书馆

[14]

J.Larus和T.Ball。重写可执行文件以测量程序行为。软件——实践与经验，24（2）：197--2181994。

数字图书馆

[15]

T.Leblanc和J.Mellor-Crummey。使用即时重播调试并行程序。IEEE传输。《计算机》，36（4）：471-4811987。

数字图书馆

[16]

H.利伯曼。调试丑闻及其应对措施。美国计算机学会通讯，40:27--291997。

数字图书馆

[17]

H.利伯曼和C.弗莱。ZStep95：一个可逆的动画源代码步进器。在{24}中：277--292。

[18]

T.Lindholm和F.Yellin。Java虚拟机规范。Addison Wesley，雷丁文学硕士，1997年。

数字图书馆

[19]

T.Moher。提供：流程可视化和调试环境。IEEE传输。软件工程，14（6）：849--8571988。

数字图书馆

[20]

B.迈尔斯。香：显示数据结构的系统。计算机图形学，17（3）：115-1251983。

数字图书馆

[21]

R.Sosič。Dynascope指导服务器：设计与实现。公司。系统，8（2）：107--1341995。

[22]

A.斯利瓦斯塔瓦和A.尤斯塔斯。ATOM：用于构建自定义程序分析工具的系统。程序中。ACM交响乐团。《编程语言设计与实现》（PLDI’94），196-2051994年。

数字图书馆

[23]

J.斯塔斯科。TANGO：算法动画框架和系统。IEEE组件。，23:27--39, 1990.

数字图书馆

[24]

J.Stasko、J.Domingue、M.Brown和B.Price，编辑。软件可视化：作为多媒体体验的编程。麻省理工学院出版社，1997年。

数字图书馆

[25]

莱昂纳多计算机环境。WWW网站：网址：http://www.leonardo-vm.org。

[26]

A.托尔马赫和A.阿佩尔。标准ML.J.函数编程的调试器，5（2）：155-2001995。

[27]

J.维特。US&R：重做的新框架。程序中。ACM SIGSOFT/SIGPLAN软件工程交响乐团。（实用软件开发环境），168--1761984年。

数字图书馆

[28]

M.泽尔科维茨。可逆执行。CACM，1973年6月16日。

数字图书馆

引用人

千叶Y(2018)用于调试本机方法的Java堆保护计算机程序设计科学10.1016/j.scico.2007.07.00470:2-3(149-167)在线发布日期：2018年12月31日
https://dl.acm.org/doi/10.1016/j.scico.2007.004
Rößling G公司(2012)支持编程学习的一系列工具计算机技术与计算机程序设计10.1201/b13124-11(213-230)在线发布日期：2012年10月17日
https://doi.org/10.1201/b13124-11
Rößling G公司(2010)支持编程学习的一系列工具算法10.3390/a3020168三:2(168-182)在线发布日期：2010年4月15日
https://doi.org/10.3390/a3020168
显示更多引用者

用于程序调试和指导的便携式虚拟机
1. 软件及其工程
  1. 软件创建和管理
    1. 软件验证和确认
      1. 软件缺陷分析

建议

一种用于携带代码验证的便携式虚拟机目标
口译员、虚拟机和模拟器进展专题（IVME’03）

虚拟机和校验码提供了两种独立使用的技术，为移动代码提供了安全性。这两种技术都有优点和局限性。现有的虚拟机（如Java VM）有几个。。。
阅读更多信息
虚拟机级别的虚拟类支持
VMIL’09：第三届虚拟机和中间语言研讨会论文集

本文描述了如何在虚拟机中支持虚拟类。主流虚拟机，如Java虚拟机和。NET平台主导了当今世界，许多语言正在这些虚拟机上执行。。。
阅读更多信息
透明可变重放，用于多核调试和补丁验证
ASPLOS’13：第十八届编程语言和操作系统体系结构支持国际会议论文集

我们介绍了Dora，一个可变的记录重放系统，它允许用应用程序的修改版本重放应用程序的记录执行。此功能在以前的唱片回放系统中不可用，可实现强大的新功能。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

SAC’04：2004 ACM应用计算研讨会会议记录

2004年3月

1733页

国际标准图书编号：1581138121

内政部：10.1145/967900

会议主席：
希沙姆·M·哈达德
肯尼索州立大学
,
课程主席：
安德烈亚·奥米西尼
切塞纳博洛尼亚大学
,
罗杰·温赖特
塔尔萨大学
,
出版物主席：
洛里·利布鲁克（Lorie M.Liebrock）
新墨西哥矿业技术学院

版权所有©2004 ACM。

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

赞助商

SIGAPP：ACM应用计算特别兴趣小组

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2004年3月14日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

第条

会议

SAC04标准

主办单位：

SIGAPP公司

SAC04：2004年ACM应用计算研讨会

2004年3月14日至17日

塞浦路斯尼科西亚

接受率

6669份提交文件的总体接受率为1650，25%

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

9
引文总数
查看引文
443
总下载次数

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

其他指标

查看作者指标

引文

引用人

千叶Y(2018)用于调试本机方法的Java堆保护计算机程序设计科学2016年10月10日/j.scico.2007.00.00470:2-3(149-167)在线发布日期：2018年12月31日
https://dl.acm.org/doi/10.1016/j.scico.2007.004
Rößling G公司(2012)支持编程学习的一系列工具计算机技术与计算机程序设计10.1201/b13124-11(213-230)在线发布日期：2012年10月17日
https://doi.org/10.1201/b13124-11
Rößling G公司(2010)支持编程学习的一系列工具算法10.3390/a3020168三:2(168-182)在线发布日期：2010年4月15日
https://doi.org/10.3390/a3020168
王莉（Wang L）刘X歌曲A徐莉（Xu L）刘特（Liu T）(2009)一种有效的基于虚拟化的跨平台可逆调试器2009年嵌入式软件和系统国际会议记录10.1109/ICESS.2009.96(448-453)在线发布日期：2009年5月25日
https://dl.acm.org/doi/10.1109/ICESS.2009.96
连哈德AGêrba T（格里巴托T）尼尔斯特拉斯O(2008)实用的面向对象的回溯时间调试第22届欧洲面向对象编程会议记录10.1007/978-3-540-70592-5_25(592-615)在线发布日期：2008年7月7日
https://dl.acm.org/doi/10.1007/978-3-540-70592-5_25
高L克莱默S勒珀斯R阿斯基德G迈尔赫金·T塞恩拉特PLumetta S公司纳瓦罗N(2007)基于C虚拟机的快速通用混合仿真方法2007年嵌入式系统编译器、体系结构和综合国际会议论文集10.1145/1289881.1289885(3-12)在线发布日期：2007年9月30日
https://dl.acm.org/doi/10.1145/1289881.1289985网址
千叶Y吉泽尔R阿列克西·MSchader M公司(2006)Java虚拟机的堆保护第四届Java编程原理与实践国际研讨会论文集10.1145/1168054.1168069(103-112)在线发布日期：2006年8月30日
https://dl.acm.org/doi/10.1145/1168054.1168069
德米特里斯库C菲诺奇一世克莱默E伯内特·M迪尔S(2006)用于软件可视化的数据驱动图形工具包2006年ACM软件可视化研讨会会议记录10.1145/1148493.1148502(57-66)在线发布日期：2006年9月4日
https://dl.acm.org/doi/10.1145/1148493.1148502
Koju T公司高田SDoi N公司Hind M公司维泰克·J(2005)使用基于虚拟机的方法的高效通用可逆调试器第一届ACM/USENIX虚拟执行环境国际会议记录10.1145/1064979.1064992(79-88)在线发布日期：2005年6月11日
https://dl.acm.org/doi/10.1145/1064979.10649992

视图选项

获取访问权限

登录选项

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

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

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

电子阅读器

媒体

数字

其他

桌子