×

JMLUnit:下一代。 (英语) Zbl 1308.68032号

Beckert,Bernhard(编辑)等人,面向对象软件的形式验证。2010年6月28日至30日,法国巴黎,FoVeOOS 2010国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18069-9/pbk)。计算机科学课堂讲稿6528183-197(2011)。
摘要:为面向对象系统设计单元测试套件是一项艰巨、重复且容易出错的任务,对测试套件的自动生成进行了大量研究。生成单元测试的一种方法是使用正式的类和方法规范作为测试预言,并使用开发人员提供的数据值自动运行它们;对于具有用Java建模语言编写的正式规范的Java代码,此方法体现在JMLUnit工具及其所基于的JUnit测试框架中。虽然JMLUnit在由熟练的开发人员使用时可以提供合理的测试覆盖率,但它有几个缺点,包括测试期间内存使用过度,以及需要手动编写大量代码来生成非原始测试数据对象。在本文中,我们描述了JMLUnitNG,它是JMLUnit的一个基于TestNG的继承者,可以使用提供的仅为基本类型的测试数据自动生成和执行数百万个测试,而不会消耗过多的内存。我们还比较了JMLUnitNG和原始JMLUnit之间的测试覆盖率。
关于整个系列,请参见[Zbl 1204.68003号].

MSC公司:

68甲19 其他编程范式(面向对象、顺序、并发、自动等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ambert,F.、Bouquet,F、Chemin,S.、Guenaud,S.和Legeard,B.、Peureux,F.和Vacelet,N.:BZ-TT:使用约束逻辑编程从Z和B生成测试的工具集。In:《软件测试的正式方法(FATES)2002》,CONCUR 2002年研讨会,捷克共和国布尔诺(2002年8月)
[2] Beckert,B.,Hähnle,R.,Schmitt,P.H.:面向对象软件的验证。KeY方法。LNCS(LNAI),第4334卷。斯普林格,海德堡(2007)
[3] Bouquet,F.、Dadeau,F.,Legeard,B.、Utting,M.:JML测试工具:使用CLP实现JML规范的符号动画师。收录:Halbwachs,N.,Zuck,L.D.(编辑)TACAS 2005。LNCS,第3440卷,第551-556页。斯普林格,海德堡(2005)·Zbl 1087.68549号 ·doi:10.1007/978-3-540-31980-1_37
[4] Bourdonov,I.B.,Kossatchev,A.S.,Kuliamin,V.V.,Petrenko,A.K.:UniTesK测试套件架构。In:Eriksson,L.-H.,Lindsay,P.A.(编辑)FME 2002。LNCS,第2391卷,第77页。斯普林格,海德堡(2002)·Zbl 1064.68527号 ·doi:10.1007/3-540-45614-7_5
[5] Brucker,A.D.,Wolff,B.:与HOL-testGen的交互测试。收录:Grieskamp,W.,Weise,C.(编辑)《命运》2005。LNCS,第3997卷,第87–102页。斯普林格,海德堡(2006)·兹伯利05148557 ·doi:10.1007/11759744_7
[6] Burdy,L.、Cheon,Y.、Cok,D.、Ernst,M.、Kiniry,J.、Leavens,G.T.、Leino,K.、Poll,E.:JML工具和应用概述。《国际技术转让软件工具杂志》(2005年2月)·doi:10.1007/s10009-004-0167-4
[7] Cheon,Y.,Leavens,G.T.:一种简单实用的单元测试方法:JML和jUnit方法。摘自:Deng,T.(编辑)ECOOP 2002。LNCS,第2374卷,第231-255页。斯普林格,海德堡(2002)·Zbl 1049.68762号 ·doi:10.1007/3-540-47993-7_10
[8] Deng,X.,Robby,H.J.:Kiasan/KUnit:开放式面向对象系统的自动测试用例生成和分析反馈。在:测试:学术和工业会议实践与研究技术(TAICPART),英国温莎,第3-12页(2007年9月)
[9] El-Far,I.K.,Whittaker,J.A.:基于模型的软件测试。软件工程百科全书(2001)
[10] Engel,C.,Hähnle,R.:从形式证明生成单元测试。In:测试和证明,第一届国际会议(TAP),瑞士(2007年2月)·Zbl 1196.68046号 ·doi:10.1007/978-3-540-73770-4_10
[11] King,J.C.:符号执行和程序测试。ACM通讯19(7),385–394(1976)·Zbl 0329.68018号 ·doi:10.1145/360248.360252
[12] Kiniry,J.R.,Morkan,A.E.,Cochran,D.,Fairmichael,F.,Chalin,P.,Oostdijk,M.,Hubbers,E.:KOA远程投票系统:迄今为止的工作总结。收录:Montanari,U.,Sannella,D.,Bruni,R.(编辑)TGC 2006。LNCS,第4661卷,第244-262页。斯普林格,海德堡(2007)·Zbl 05523448号 ·doi:10.1007/978-3-540-75336-0_16
[13] Leavens,G.T.、Cheon,Y.、Clifton,C.、Ruby,C.、Cok,D.R.:JML的设计如何兼顾运行时断言检查和形式验证。收录人:de Boer,F.S.,Bonsangue,M.M.,Graf,S.,de Roever,W.-P.(编辑)FMCO 2002。LNCS,第2852卷,第262-284页。斯普林格,海德堡(2003)·Zbl 1075.68009号 ·doi:10.1007/978-3-540-39656-7_11
[14] Meyer,B.:面向对象软件构造,第二版。Prentice-Hall,Englewood Cliffs(1988)·Zbl 0719.68012号
[15] Peters,D.K.,Parnas,D.L.:使用程序文档生成的测试预言。IEEE软件工程学报24(3),161-173(1998)·doi:10.1109/32.667877
[16] Zhu,H.,Hall,P.A.V.,May,J.H.R.:软件单元测试覆盖率和充分性。ACM计算调查29(4),366–427(1997)·数字对象标识代码:10.1145/267580.267590
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。