研究论文

动态可更新软件的高效系统测试

作者:

克里斯托弗·M·。海登,

埃里克A。哈迪斯蒂,

迈克尔希克斯，以及

杰弗里·S·。培养作者信息和声明

2009年HotSWUp：第二届软件升级热点国际研讨会会议记录

2009年10月

文章编号：9，页数1-5

https://doi.org/10.1145/1656437.1656449

出版:2009年10月25日出版历史

获取访问权限

摘要

近年来，动态软件更新（DSU）系统取得了重大进展，它允许程序在运行中进行修补。然而，一个重大的挑战仍然存在：我们如何确保应用补丁的行为本身不会引入错误？在本文中，我们通过提出一种新的可更新程序的系统测试方法来解决这个问题。我们的想法是将标准系统测试转换为更新测试但每个转换后的测试都会在不同的更新点执行期间。为了减少测试数量的增加，我们为测试套件最小化这会找到更新点的子集，如果经过充分测试，则会产生相当于完整更新点覆盖的更新点。我们实现了我们的方法，并在OpenSSH和vsftpd这两个广泛使用的服务器应用程序上进行了评估。我们发现最小化是非常有效的，可以将全覆盖所需的更新测试数量减少93%。

工具书类

[1]

R.Alur、R.K.Brayton、T.A.Henzinger、S.Qadeer和S.K.Rajamani。符号状态空间探索中的部分降阶。在CAV汽车, 1997.

数字图书馆

谷歌学者

[2]

J.Arnold和F.Kaashoek。Ksplice：自动无重启内核更新。在Eurosys公司, 2009.

数字图书馆

谷歌学者

[3]

G.M.Bierman、M.J.Parkinson和J.Noble。UpgradeJ：类升级的增量类型检查。在ECOOP公司, 2008.

数字图书馆

谷歌学者

[4]

H.Chen、J.Yu、R.Chen，B.Zang和P.-C.Yew。波卢斯：一个强大的实时更新系统。在ICSE公司，第271--281页，2007年。

数字图书馆

谷歌学者

[5]

D.Gupta、P.Jalote和G.Barua。用于在线软件版本更改的正式框架。IEEE TSE标准, 22(2), 1996.

数字图书馆

谷歌学者

[6]

C.海登、E.哈迪斯蒂、M.希克斯和J.福斯特。基于测试的动态软件更新安全限制实证研究。技术报告CS-TR-4947，马里兰大学，大学公园，2009年。

谷歌学者

[7]

K42项目。http://www.research.ibm.com/K42/。

谷歌学者

[8]

K.Makris和R.Bazzi。使用堆栈重建立即进行多线程动态软件更新。在USENIX ATC公司, 2009.

数字图书馆

谷歌学者

[9]

M.Musuvathi、S.Qadeer、T.Ball、G.Basler、A.Nainar和I.Neamtiu。在并发程序中查找和复制heisenbug。在OSDI公司, 2008.

数字图书馆

谷歌学者

[10]

I.Neamtiu、M.Hicks、J.S.Foster和P.Pratikakis。版本一致的动态软件更新和安全并发编程的上下文效果。在POPL公司, 2008.

数字图书馆

谷歌学者

[11]

I.Neamtiu、M.Hicks、G.Stoyle和M.Oriol。实用的C.In动态软件更新PLDI公司, 2006.

数字图书馆

谷歌学者

[12]

S.Subramanian、M.Hicks和K.S.McKinley。Java的动态软件更新：一种以虚拟机为中心的方法。在PLDI公司, 2009.

数字图书馆

谷歌学者

引用人

查看全部

赵Z黄D马X(2022)TOAST：动态软件更新中对象转换器的自动测试计算机科学与技术杂志2007年10月17日/11390-021-1693-137:1(50-66)在线发布日期：2022年1月31日
https://doi.org/10.1007/s11390-021-1693-1
艾哈迈德·BLee S公司苏M扎卡里A(2020)动态软件更新：一项系统的映射研究IET软件10.1049/iet-sen.2019.020114:5(468-481)在线发布日期：2020年9月2日
https://doi.org/10.1049/iet-sen.2019.0201
Cazzola W公司贾利利M(2016)Java动态软件更新系统中不安全更新点的规避2016年IEEE第27届软件可靠性工程国际研讨会（ISSRE）109年10月10日/2017年11月20日(332-341)在线发布日期：2016年10月
https://doi.org/10.109/ISSRE.2016.17
显示更多引用者

建议

懒惰的系统单元测试：JWalk与JUnit
TAICPART-MUTATION'07：测试程序：学术和工业会议实践和研究技术-突变

使用JWalk进行的懒散系统单元测试与使用JUnit（领先的敏捷测试工具）进行的回归测试进行了比较。当测试被修改或。。。
阅读更多信息
软件测试：高影响力战略-你需要知道的定义、采用、影响、好处、成熟度、供应商
阅读更多信息
一种软件产品测试方法

提出了一种使用以下技术的方法：自动测试用例生成、自检测试用例、黑盒测试用例、随机测试用例、抽样、一种穷举测试形式、正确性测量以及对…的校正。。。
阅读更多信息

信息和贡献者

问询处

发布于

2009年HotSWUp：第二届软件升级热点国际研讨会会议记录

2009年10月

47页

国际标准图书编号：9781605587233

内政部：10.1145/1656437

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

赞助商

SIGPLAN：ACM编程语言特别兴趣小组

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2009年10月25日

权限

请求对此文章的权限。

请求权限

检查更新

限定符

研究文章

会议

OOPSLA09软件

赞助商：

SIGPLAN（SIGPLAN）

OOPSLA09:ACM SIGPLAN面向对象编程系统和应用会议

2009年10月25日

佛罗里达州奥兰多市

即将召开的会议

24年飞溅

赞助商：
信号平面图

ACM SIGPLAN系统、编程、语言和应用国际会议：人文软件

2024年10月20日至25日

帕萨迪纳，加利福尼亚州，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

15
引文总数
查看引文
176
总下载次数

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

其他指标

查看作者指标

引文

引用人

查看全部

赵Z黄D马X(2022)TOAST：动态软件更新中对象转换器的自动测试计算机科学与技术杂志2007年10月17日/11390-021-1693-137:1(50-66)在线发布日期：2022年1月31日
https://doi.org/10.1007/s11390-021-1693-1
艾哈迈德·BLee S公司苏M扎卡里A(2020)动态软件更新：一项系统映射研究IET软件10.1049/iet-sen.2019.020114:5(468-481)在线发布日期：2020年9月2日
https://doi.org/10.1049/iet-sen.2019.0201
Cazzola W公司贾利利M(2016)Java动态软件更新系统中不安全更新点的规避2016年IEEE第27届软件可靠性工程国际研讨会（ISSRE）10.1109/ISSRE.2016.17(332-341)在线发布日期：2016年10月
https://doi.org/10.109/ISSRE.2016.17
Gu T公司赵Z马X徐C曹C卢J(2016)使用运行时恢复提高动态软件更新的可靠性2016年第23届亚太软件工程会议（APSEC）10.1109/APSEC.2016.044(257-264)在线发布日期：2016年
https://doi.org/10.109/APSEC.2016.044
赵Z马X徐C杨伟（Yang W）梅H吕J周M张C(2014)动态软件更新点的自动推荐：一项探索性研究第六届亚太互联网研讨会论文集10.1145/2677832.2677853(136-144)在线发布日期：2014年11月17日
https://dl.acm.org/doi/10.1145/2677832.2677853
朱弗里达C伊奥古列斯库CKuijsten A公司塔南鲍姆A德赛N斯卡尔K(2013)回到未来第27届USENIX大型安装系统管理会议记录10.5555/2717477.2717485(89-104)在线发布日期：2013年11月3日
https://dl.acm.org/doi/10.5555/2717477.2717485
潘齐卡·拉曼纳五世格林耶J盖兹C布伦纳C利托尤M米洛波洛斯J(2013)规范变更产生的动态更新的形式化正确性标准第八届自适应和自我管理系统软件工程国际研讨会论文集10.5555/2663546.2663559(63-72)在线发布日期：2013年5月20日
https://dl.acm.org/doi/10.5555/2663546.2663559
朱弗里达C伊奥古列斯库CKuijsten A公司塔南鲍姆A德赛NSkaar K公司(2013)回到未来第27届大型安装系统管理国际会议记录10.5555/2555492.2555500(89-104)在线发布日期：2013年11月3日
https://dl.acm.org/doi/10.5555/2555492.2555500
格林耶J布伦纳C盖兹C拉曼纳五世(2013)规范变更产生的动态更新的形式化正确性标准2013年第八届自适应和自我管理系统（SEAMS）软件工程国际研讨会论文集10.1109/SEAMS.2013.6595493(63-72)在线发布日期：2013年5月20日
https://dl.acm.org/doi/10.1109/SEAMS.2013.6595493
盖兹C格林耶J拉曼纳五世米勒·H巴雷西L(2012)根据基于场景的规范中的变化合成动态更新控制器第七届自适应和自我管理系统软件工程国际研讨会论文集10.5555/2666795.2666819(145-154)在线发布日期：2012年6月4日
https://dl.acm.org/doi/10.5555/2666795.2666819
显示更多引用者

引用人

索引术语

建议

懒惰的系统单元测试：JWalk与JUnit

软件测试：高影响力战略-你需要知道的定义、采用、影响、好处、成熟度、供应商

一种软件产品测试方法

评论

发布于

赞助商

出版商

出版历史

权限

检查更新

限定符

会议

即将召开的会议

其他指标

文章指标

其他指标

引用人

登录选项

完全访问权限

PDF格式

电子阅读器

摘要

工具书类

引用人

索引术语

建议

懒惰的系统单元测试：JWalk与JUnit

软件测试：高影响力战略-你需要知道的定义、采用、影响、好处、成熟度、供应商

一种软件产品测试方法

评论

问询处

发布于

赞助商

出版商

出版历史

权限

检查更新

限定符

会议

即将召开的会议

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

获取访问权限

登录选项

完全访问权限

视图选项

PDF格式

电子阅读器

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司