研究论文

静态和动态组合自动测试生成

作者:

赛（Sai）张,

英毅日分、和

迈克尔·D·。恩斯特作者信息和声明

ISSTA’11：2011年软件测试与分析国际研讨会论文集

2011年7月

页353-363

https://doi.org/10.1145/2001420.2001463

出版:2011年7月17日出版历史

获取访问权限

摘要

在面向对象程序中，单元测试通常由一系列方法调用组成，这些方法调用创建和修改对象，然后将它们用作被测试方法的参数。自动生成以下序列具有挑战性合法的和行为相反也就是说，达到尽可能多的不同程序状态。

本文针对没有正式规范的代码，提出了一种静态和动态组合自动测试生成方法来解决这些问题。我们的方法首先使用动态分析从示例执行中推断调用序列模型，然后使用静态分析根据它们可能读或写的字段识别方法依赖关系。最后，动态推断模型（往往准确但不完整）和静态识别的依赖信息（往往保守）引导随机测试生成器创建法律和行为双向测试。

我们的Palus工具实现了这种测试方法。在几个流行的开源Java程序上，我们将其有效性与纯随机方法、动态随机方法（无静态阶段）和静态随机方法（没有动态阶段）进行了比较。Palus生成的测试实现了更高的结构覆盖率，并发现了更多错误。

Palus也在谷歌内部使用。它在四款经过良好测试的谷歌产品中发现了22个之前未知的错误。

工具书类

[1]

Apache Commons Collections项目页面。http://commons.apache.org/collections/。

[2]

S.Artzi、M.D.Ernst、A.Kieżun、C.Pacheco和J.H.Perkins。大海捞针：为面向对象程序生成合法的测试输入。在基于模型的测试和面向对象的第一次研讨会2006年10月。

[3]

BCEL项目页面。http://jakarta.apache.org/bcel/。

[4]

A.比尔曼和J.费尔德曼。从有限状态机的行为样本中综合有限状态机。IEEE传输。在计算机上, 21(6), 1972.

数字图书馆

[5]

C.Boyapati、S.Khurshid和D.Marinov。Korat：基于Java谓词的自动化测试。在ISSTA公司, 2002.

数字图书馆

[6]

C.Csallner和Y.Smaragdakis。JCrasher：用于Java的自动健壮性测试程序。在软件：实践与经验，34（11），第1025--1050页，2004年。

数字图书馆

[7]

I.Ciupa和A.Leitner。基于合同设计的自动测试。在在《网络诉讼》中。对象日期, 2005.

[8]

科贝图拉的家。http://cobertura.sourceforge.net/。

[9]

J.E.Cook和A.L.Wolf。从基于事件的数据中发现软件过程模型。ACM事务处理。柔和。工程方法。, 7(3):215--249, 1998.

数字图书馆

[10]

V.Dallmeier、N.Knopp、C.Mallon、S.Hack和A.Zeller。为规范挖掘生成测试用例。在ISSTA公司, 2010.

数字图书馆

[11]

V.Dallmeier、C.Lindig、A.Wasylkowski和A.Zeller。使用ADABU挖掘对象行为。在WODA公司, 2006.

数字图书馆

[12]

S.Elbaum、H.N.Chin、M.B.Dwyer和J.Dokulil。从系统测试用例中提取差分单元测试用例。在SIGSOFT/FSE-14型，第253-264页，2006年。

数字图书馆

[13]

M.D.恩斯特。静态和动态分析：协同和二元性。在WODA公司, 2003.

[14]

M.D.Ernst、J.Cockrell、W.G.Griswold和D.Notkin。动态发现可能的程序不变量以支持程序进化。在ICSE公司, 1999.

数字图书馆

[15]

P.Godefroid、N.Klarlund和K.Sen.DART：指导自动化随机测试。在PLDI公司, 2005.

数字图书馆

[16]

W.Grieskamp、Y.Gurevich、W.Schulte和M.Veanes。从抽象状态机生成有限状态机。在ISSTA公司, 2002.

数字图书馆

[17]

H.Jaygarl、S.Kim、T.Xie和C.K.Chang。OCAT：基于对象捕获的自动化测试。在ISSTA公司, 2010.

数字图书馆

[18]

K.S.Jones。术语特异性的统计解释及其在检索中的应用。文献杂志, 28:11--21, 1972.

[19]

M.Jorde、S.Elbaum和M.B.Dwyer。通过聚合单元测试来增加测试粒度。在ASE公司, 2008.

数字图书馆

[20]

JSAP主页。http://martiansoftware.com/jsap/。

[21]

F.Long、X.Wang和Y.Cai。通过结构重叠进行API超链接。在ESEC/FSE, 2009.

数字图书馆

[22]

D.Lorenzoli、L.Mariani和M.Pezzè软件行为模型的自动生成。在ICSE公司, 2008.

数字图书馆

[23]

D.Marinov和S.Khurshid。TestEra：一个新的Java程序自动化测试框架。在ASE公司, 2001.

数字图书馆

[24]

S.McConnell公司。《代码完成》，第二版，微软出版社，2004年。

[25]

C.帕切科和M.D.恩斯特。Eclat：测试输入的自动生成和分类。在ECOOP公司, 2005.

数字图书馆

[26]

C.Pacheco、S.K.Lahiri、M.D.Ernst和T.Ball。反馈导向随机测试生成。在ICSE公司, 2007.

数字图书馆

[27]

瓦伦丁·达尔梅尔（Valentin Dallmeier）。个人通信，2011年5月。

[28]

Rhino项目页面。http://www.mozilla.org/rhino/。

[29]

D.Saff、S.Artzi、J.H.Perkins和M.D.Ernst。Java的自动测试因子分解。在ASE公司, 2005.

数字图书馆

[30]

D.Saff、M.Boshernitsan和M.D.Ernst。实践中的理论：易于编写的捕获错误的规范。技术报告MIT-CSAIL-TR-2008-002，麻省理工学院，马萨诸塞州剑桥市，2008年1月14日。

[31]

SAT4J项目页面。http://www.sat4j.org/。

[32]

K.Sen、D.Marinov和G.Agha。CUTE：一个用于C.In的混合单元测试引擎ESEC/FSE-13, 2005.

数字图书馆

[33]

S.Thummalapenta、T.Xie、N.Tillmann、P.de Halleux和W.Schulte。MSeqGen：通过挖掘源代码生成面向对象的单元测试。在ESEC/FSE, 2009.

数字图书馆

[34]

N.Tillmann和W.Schulte。参数化单元测试。在ESEC/FSE-13, 2005.

数字图书馆

[35]

tinySQL主页。http://www.jepstone.net/tinySQL/。

[36]

C.D.Turner和D.J.Robson。面向对象程序的基于状态的测试。在ICSM公司, 1993.

数字图书馆

[37]

W.Visser、C.S.PéSéreanu和S.Khurshid。使用Java PathFinder测试输入生成。在ISSTA公司, 2004.

数字图书馆

[38]

J.Whaley、M.C.Martin和M.S.Lam。面向对象组件接口的自动提取。在ISSTA公司, 2002.

数字图书馆

[39]

S.Zhang、Y.Bu、X.Wang和M.D.Ernst。依赖性引导随机测试生成。华盛顿大学CSE 503课程项目报告网址：www.cs.washington.edu/home/szhang/gencc.pdf，2010年5月。

[40]

W.Zheng、Q.Zhang、M.Lyu和T.Xie。使用多软件序列推荐生成随机单元测试。在ASE公司, 2010.

数字图书馆

引用人

维玛A乔达里A蒂瓦里S(2023)软件测试用例生成工具和技术：综述国际数学、工程和管理科学杂志10.33889/IJMEMS.2023.8.2.0188:2(293-315)在线发布日期：2023年4月1日
https://doi.org/10.33889/IJMEMS.2023.8.2.018
刘Z刘凯（Liu K）夏X杨X仅R弗雷泽G(2023)面向更真实的神经测试Oracle生成评估第32届ACM SIGSOFT软件测试与分析国际研讨会论文集10.1145/3597926.3598080(589-600)在线发布日期：2023年7月12日
https://dl.acm.org/doi/10.1145/3597926.3598080
朱C张M吴X徐X李Y(2023)通过知识引导发现检查客户端特定的升级兼容性软件工程及方法论学报10.1145/358256932:4(1-31)在线发布日期：2023年5月26日
https://dl.acm.org/doi/10.1145/3582569
显示更多引用者

索引术语

静态和动态组合自动测试生成
1. 软件及其工程
  1. 软件创建和管理
    1. 软件验证和确认
      1. 软件缺陷分析
        软件测试和调试

建议

在web应用程序的自动测试生成中利用现有测试
ASE’14：第29届ACM/IEEE自动化软件工程国际会议论文集

为了测试web应用程序，开发人员目前在Selenium等框架中编写测试用例。另一方面，大多数web测试生成技术都依赖于爬网程序来探索应用程序的动态状态。第一种方法需要很多。。。
阅读更多信息
使用约束求解器生成代码覆盖感知测试
软件工程和形式化方法。SEFM 2020联合研讨会
摘要
代码覆盖率在软件测试上下文中主要用作评估生成的测试套件质量的指标。最近，代码覆盖率分析被用作测试优化的白盒测试技术。大部分研究。。。
阅读更多信息
基于需求的自动黑盒测试生成
COMPSAC’01：第25届国际计算机软件和应用大会关于振兴软件开发的会议记录

测试大型软件系统既费力又昂贵。基于模型的测试生成技术用于自动生成大型软件系统的测试。然而，这些技术需要手动创建使用的系统模型。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

ISSTA’11：2011年软件测试与分析国际研讨会论文集

2011年7月

394页

国际标准图书编号：9781450305624

内政部：10.1145/2001420

总主席：
马修·德怀尔
内布拉斯加州大学
,
项目主席：
弗兰克·蒂普
IBM T.J.Watson研究中心

版权所有©2011 ACM。

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

赞助商

SIGSOFT:ACM软件工程特别兴趣小组

合作中

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

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2011年7月17日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

研究文章

资金来源

计算与通信基础部

会议

ISSTA’11

主办单位：

SIGSOFT公司

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

2011年7月17日至21日

加拿大多伦多安大略省

接受率

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

即将召开的会议

ISSTA’24

主办单位：
sigsoft软件

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

2024年9月16日至20日

维也纳，奥地利

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

84
引文总数
查看引文
977
总下载次数

下载次数（过去12个月）67
下载次数（最近6周）8

其他指标

查看作者指标

引文

引用人

维玛A乔达里A蒂瓦里S(2023)软件测试用例生成工具和技术：综述国际数学、工程和管理科学杂志10.33889/IJMEMS.2023.8.2.0188:2(293-315)在线发布日期：2023年4月1日
https://doi.org/10.33889/IJMEMS.2023.8.2.018
刘Z刘K夏X杨X仅R弗雷泽G(2023)面向更真实的神经测试Oracle生成评估第32届ACM SIGSOFT软件测试与分析国际研讨会论文集10.1145/3597926.3598080(589-600)在线发布日期：2023年7月12日
https://dl.acm.org/doi/10.1145/3597926.3598080
朱C张M吴X徐X李Y(2023)通过知识引导发现检查客户端特定的升级兼容性软件工程及方法论学报10.1145/358256932:4(1-31)在线发布日期：2023年5月26日
https://dl.acm.org/doi/10.1145/3582569
希特卡特一世阿卜迪·M德梅耶S(2022)我们可以使用依赖项目的测试套件提高库中的测试平均值吗？第26届软件工程评估国际会议论文集10.1145/3530019.3535309(294-298)在线发布日期：2022年6月13日
https://dl.acm.org/doi/10.1145/3530019.3535309
锂电池朱C王伟施A德怀尔·M达米安·D泽勒A(2022)通过测试生成修复订单相关的片状测试第44届国际软件工程会议记录10.1145/3510003.3510173(1881-1892)在线发布日期：2022年5月21日
https://dl.acm.org/doi/10.1145/3510003.3510173
阿卜迪·M德梅耶S(2022)通过动态测试切片进行测试移植2022年IEEE第22届国际源代码分析与处理工作会议（SCAM）10.1109/SCAM55253.2022.00009(35-39)在线发布日期：2022年10月
https://doi.org/10.109/SCAM55253.2022.00009
Jeon S公司柳·M金·D金·H(2022)使用测试框架自动生成语料库和模糊可执行文件IEEE接入10.1109/ACCESS.2022.3200510(90408-90428)在线发布日期：2022年
https://doi.org/10.1109/ACCESS.2022.3202005
陈B刘毅彭X吴毅秦S(2022)巴顿：通过机器学习和污点分析实现随机测试和混合测试的交响乐科学中国信息科学2007年10月17日/11432-020-3403-266:3在线发布日期：2022年11月11日
https://doi.org/10.1007/s11432-020-3403-2网址
Yi P公司王H谢霆马里诺夫DLam W公司(2022)随机回归测试优先级的理论分析系统构建和分析的工具和算法10.1007/978-3-030-99527-0_12(217-235)在线发布日期：2022年3月30日
https://doi.org/10.1007/978-3-030-99527-0_12
卡林加尔·乔希A陈XSteenhoek B公司勒·W卡达尔C张X(2021)通过测试代码片段验证静态警告第30届ACM SIGSOFT软件测试与分析国际研讨会论文集10.1145/3460319.3464832(540-552)在线发布日期：2021年7月11日
https://dl.acm.org/doi/10.1145/3460319.3464832
显示更多引用者

视图选项

获取访问权限

登录选项

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

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

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

电子阅读器

媒体

数字

其他

桌子