×

面向对象和面向方面程序的集成测试:Java的结构成对方法。 (英语) Zbl 1192.68122号

摘要:几种测试方法侧重于发现软件实现单元中的错误。单元测试没有解决的一个问题是单元之间的交互,即它们的接口的正确性。本文提出了一种面向对象(OO)和面向方面(AO)Java程序的结构集成测试方法。为了使该活动更可行,我们讨论了对单元(即,方法和建议)的测试。提出了一种表示成对单元之间控制和数据流的模型,称为(mathcal{PWDU})(PairWise Def-Use)图。基于(mathcal{PWDU}),定义了以下测试标准系列:全对集成节点(基于控制流)、全对集成边缘(基于控制流量)和全对集成单元(基于数据流)。为了评估所提出的方法,本文介绍了测试工具中标准的实现,以及使用示例和探索性研究。这项研究使用了7个AO程序(也是OO程序),以调查应用成本和该方法的有用性。结果证明,这些标准对于OO和AO程序的集成测试是实用的和有用的。

MSC公司:

68甲15 编程语言理论

软件:

AspectJ公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] AspectJ团队,《AspectJ编程指南》,在线,2003年。可从以下位置获得:http://www.eclipse.org/aspectj/doc/released/progguide/index.html(2007年11月27日访问)
[2] 巴西利,V.R。;Perricone,B.T.:《软件错误和复杂性:实证调查》,Commun。ACM 27,第1期,42-52(1984)
[3] Bertolino,A.:软件测试研究:成就、挑战、梦想,85-103(2007)
[4] R.Bodkin,R.Laddad,《使用eclipse的企业AspectJ教程》,在线,2005年,EclipseCon 2005年。可从以下位置获得:http://www.eclipsecon.org/2005/presentations/EclipseCon2005_EnterpriseAspectJTutorial9.pdf(2007年3月12日访问)
[5] Delamaro,M.E。;马尔多纳多,J.C。;Mathur,A.P.:接口突变:集成测试的一种方法,IEEE trans。柔和。工程师27,编号3228-247(2001)
[6] Elrad,T。;Kiczales,G。;阿克什,M。;Lieberher,K。;Osser,H.:讨论AOP的各个方面,Commun。ACM 44,第10号,33-38(2001)
[7] Franchin,I.G。;Lemos,O.A.L。;Masiero,P.C.:面向对象和面向方面Java程序的成对结构测试,377-393(2007)·Zbl 1192.68122号
[8] A.Haley。;Zweben,S.:集成测试白盒方法的开发和应用,J.syst。柔和。4,第4号,309-315(1984)
[9] 哈罗德,M.J。;Jones,J.A。;李·T。;Liang,D。;奥索,A。;彭宁斯,M。;辛哈,S。;勺子,S.A。;Gujarathi,A.:Java软件回归测试选择,312-326(2001)
[10] 哈罗德,M.J。;Mcgregor,J.D。;Fitzpatrick,K.J.:面向对象类结构的增量测试,68-80(1992)
[11] 哈罗德,M.J。;Rothermel,G.:对类执行数据流测试,154-163(1994)
[12] E.Hilsdale,J.Hugunin,《AspectJ中的建议编织》,载于:2004年第四届AOSD会议记录,英国兰卡斯特,2004年,第26–35页
[13] Kiczales,G。;欧文,J。;兰平,J。;Loingtier,J.-M。;Lopes,C。;Maeda,C。;Menhdhekar,A.:面向方面编程,《ECOOP 1241220-242会议录》(1997)
[14] Kiczales,G。;Mezini,M.:面向方面编程和模块化推理,49-58(2005)
[15] Lemos,O.A.L。;F.C.法拉利。;马西埃罗,P.C。;Lopes,C.V.:测试面向方面的编程切入点描述符,33-38(2006)
[16] 莱莫斯,O.A.L。;Masiero,P.C.:在面向方面的程序中,使用结构测试来识别切入点选择的非预期连接点,(2008)
[17] O.A.L.Lemos,P.C.Masiero,面向方面程序的基于切入点的覆盖率分析方法(2009)(提交出版)
[18] Lemos,O.A.L。;文森齐,A。;马尔多纳多,J.C。;Masiero,P.C.:面向方面程序的控制和数据流结构测试标准,J.syst。柔和。80,第6号,862-882(2007)
[19] N.Lesiecki,《单元测试你的方面》,在线,2005年,IBM DeveloperWorks。可从以下位置获得:http://www-128.ibm.com/developerworks/java/library/j-aopwork11/(2007年3月12日访问)
[20] Lindholm,T。;Yellin,F.:Java虚拟机规范(1999)
[21] 美国Linnenkugel。;Müllerburg,M.:(软件)集成测试的测试数据选择标准,709-717(1990)
[22] J.C.Maldonado,Critérios Potenciais Usos:Uma Contribuiçao Test Estrutural de Software,博士论文,DCA/FEE/UNICAMP,坎皮纳斯,SP,1991年7月
[23] M.Mortensen,R.T.Alexander,《AspectJ程序的充分测试方法》,载于:《测试面向方面程序第一次研讨会论文集——与AOSD’2005联合》,芝加哥/伊利诺伊州,美国
[24] Myers,G.J。;桑德勒,C。;Badgett,T。;Thomas,T.M.:软件测试的艺术(2004)
[25] 奥索,A。;施,N。;Harrold,M.J.:将回归测试扩展到大型软件系统,241-251(2004)
[26] Paradkar,A.:在多态性存在的情况下对o-o软件进行类间测试,30(1996)
[27] 编程工具组和可编程研究组,abc:AspectJ的aspectbench编译器,在线,2007年。可从以下位置获得:http://abc.comlab.ox.ac.uk/基准(2007年11月27日访问)
[28] 拉普斯,S。;Weyuker,E.J.:使用数据流信息选择软件测试数据,IEEE trans。柔和。eng.11,No.4,367-375(1985)·Zbl 0559.68015号
[29] 里纳德,M。;Salcianu,A。;Bugrara,S.:面向方面程序的分类系统和分析,147-158(2004)
[30] Souter,A.L。;Pollock,L.L.:预兆:测试面向对象软件的策略,49-59(2000)
[31] 苏特,A.L。;Pollock,L.L.:面向对象系统上下文定义使用关联的构建,IEEE trans。柔和。工程师29,编号11005-1018(2003)
[32] Souter,A.L。;Pollock,L.L。;Hisley,D.:部分类表征的类间重用分析,47-56(1999)
[33] 斯托比(Stobie,K.):《队列3》(Queue 3),第1期,30-37页(2005年)
[34] Tai,K.C。;Lie,Y.:两两测试的测试生成策略,IEEE trans。柔和。eng.28,No.1,109-111(2002)
[35] P.R.S.Vilela,J.C.Maldonado,M.Jino,《基于数据流的集成测试》,摘自:Anais do 13⁄Simpósio Brasileiro de Engenharia de Software,南卡罗来纳州弗洛里安诺波利斯,巴西,1999年,第393–409页
[36] 文森齐,A.M.R。;Delamaro,M.E。;马尔多纳多,J.C。;Wong,W.E.:为Java字节码建立结构测试标准,Softw。实践。专家。36,第14号,1513-1541(2006)
[37] 文森齐,A.M.R。;马尔多纳多,J.C。;Wong,W.E。;Delamaro,M.E.:Java程序和组件的覆盖测试,科学。计算。程序。56,第1-2号,211-230(2005)·Zbl 1101.68448号 ·doi:10.1016/j.scico.2004.11.013
[38] Weyuker,E.J.:程序模式结果对程序的适用性,国际计算杂志。信息科学。8,第5期,387-403(1979)·Zbl 0427.68017号 ·doi:10.1007/BF00995175
[39] Weyuker,E.J.:基于程序的软件测试数据充分性标准的评估,Commun。ACM 31,第6号,668-675(1988)
[40] Whaley,J。;Rinard,M.:Java程序的组合指针和转义分析,187-206(1999)
[41] Wilde,N。;Huitt,R.:面向对象程序的维护支持,IEEE trans。柔和。工程18,第12期,1038-1044(1992)
[42] Xu,G。;Rountev,A.:aspectj软件的回归测试选择,65-74(2007)
[43] 赵,J.:面向方面程序的基于数据流的单元测试,188-197(2003)
[44] 朱,H。;霍尔,P。;May,J.:软件单元测试覆盖率和充分性,ACM计算机。Surv公司。29,第4366-427号(1997年)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。