×

构造覆盖阵列的混合优化组合方法。 (英语。俄文原件) Zbl 1323.68045号

程序。计算。柔和。 40,第1期,10-20(2014); 翻译自Programmirovanie 40,No.1(2014)。
概述:覆盖数组用于为具有大量参数的接口生成测试。本文提出了一种基于组合方法和优化方法相结合的均匀和非均匀覆盖阵列的构造方法。在广泛的特殊情况下,与众所周知的、广泛使用的优化方法相比,该方法将数组的构造速度提高了几倍(取决于特定情况)。在大多数情况下,获得的阵列大小与其他优化方法构建的阵列大小大致相同;在许多特定情况下,可以获得更小5%到15%的阵列。分析了新方法的应用范围。

MSC公司:

68米15 网络和计算机系统的可靠性、测试和容错
05B15号 正交数组、拉丁方块、房间方块
90立方厘米27 组合优化
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Zelenov,S.V.和Zelenova,S.A.,为测试句法分析阶段自动生成阳性和阴性测试,Tr.Inst.Sist。程序。,罗斯。阿卡德。瑙克,2004年,第8卷,第1期,第41-58页。
[2] 霍夫曼,D。;Sobotkiewicz,L。;王,H-Y;斯特罗珀,P。;巴兹德尔,G。;Stevens,B.,使用上下文无关语法和覆盖数组的测试生成,83-87(2009)
[3] 阿曼,P。;Offutt,J.,《使用形式化方法推导类别部分测试中的测试框架》,69-79(1994)
[4] Kulyamin,V.V.和Petukhov,A.A.,构建覆盖阵列的方法综述,程序。计算。《软件》,2011年,第37卷,第3期,第121-146页·Zbl 1242.68069号 ·doi:10.1134/S0361768811030029
[5] Martirosyan,S.和Van Trung,T.,《关于T-covering数组的设计、代码和密码学》,2004年,第32卷,第1-3期,第323-339页·Zbl 1046.05020号 ·doi:10.1023/B:DESI.000029232.40302.6d
[6] Hartman,A.和Raskin,L.,覆盖数组的问题和算法,离散数学。,2004年,第284卷,第1-3期,第149-156页·Zbl 1044.05029号 ·doi:10.1016/j.disc.2003.11.029
[7] Colbourn,C.J.,《覆盖数组的组合方面》,Le Matematiche(Catania),2004年,第58卷,第121-167页。
[8] Grindal,M.、Offutt,A.J.和Andler,S.F.,《组合测试策略:调查》,《软件测试、验证和可靠性》,2005年,第15卷,第3期,第167-199页·doi:10.1002/stvr.319
[9] Hartman,A.,使用组合覆盖套件的软件和硬件测试,266-327(2005)·Zbl 1089.68023号
[10] Dalal,S.R.和Mallows,C.L.,测试软件的因子覆盖设计,Technometrics,1998年,第40卷,第3期,第234-243页·doi:10.1080/00401706.1998.10485524
[11] Bryce,R.和Colbourn,C.J.,交互测试套件的一次性启发式搜索,Proc。遗传与进化计算会议(GECCO)。基于搜索的软件工程跟踪(SBSE),英国伦敦,2007年7月,第1082-1089页。
[12] Calvagna,A。;Gargantini,A.,将可满足性求解和启发式结合到约束组合交互测试中,27-42(2009)
[13] 库恩,D。;Reilly,M.,《实验设计对软件测试适用性的调查》,91-95(2002)
[14] Cohen,D.M.、Dalal,S.R.、Fredman,M.L.和Patton,G.C.,《AETG系统:基于组合设计的测试方法》,IEEE Trans。《软件工程》,1996年,第23卷,第7期,第437-444页·数字对象标识代码:10.1109/32.605761
[15] Williams,AW,成对交互覆盖测试配置的确定,59-74(2000)
[16] 威廉姆斯。;Probert,RL,组件交互测试覆盖率的度量,301-311(2001)
[17] Calvaga,A。;Gargantini,A.,IPO-s:基于覆盖数组对称性的组合交互测试数据增量生成(2009)
[18] Cohen,D.M.、Dalal,S.R.、Parelius,J.和Patton,G.C.,《自动测试生成的组合设计方法》,IEEE软件,1996年,第13卷,第5期,第83-87页·数字对象标识代码:10.1109/52.536462
[19] Seroussi,G.和Bshouty,N.H.,逻辑电路穷尽测试向量集,IEEE Trans。《信息论》,1988年,第34卷,第3期,第513-522页·Zbl 0653.94025号 ·doi:10.109/18.6031
[20] 雷,Y。;Tai,KC,In-parameter order:成对测试的测试生成策略,254-161(1998)
[21] Godbole,A.P.,Skipper,D.E.,and Sunley,R.A.,《t-Covering arrays:Upper bounds and Poisson approximations,Combinatics,Probability and Computing》,1996年,第5卷,第105-118页·Zbl 0865.60008号 ·doi:10.1017/S09635484830001905
[22] Colbourn,C.J.、Keri,G.、Rivas Soriano,P.P.和Schlage-Puchta,J.-C.,覆盖和半径覆盖阵列:构造和分类,离散应用。数学。,2010年,第158卷,第11期,第1158-1180页·兹比尔1231.05033 ·doi:10.1016/j.dam.2010.03.008
[23] Edelman,A.奔腾除法错误的数学,SIAM Rev.,1997年,第39卷,第1期,第54-67页·Zbl 1059.68503号 ·doi:10.1137/S0036144595293959
[24] Greene,C。;Hall,M.(编辑);Lint,J.(编辑),Sperner族和偏序集的分区,277-290(1975),荷兰
[25] Forbes,M.、Lawrence,J.、Lei,Y.、Kacker,R.N.和Kuhn,D.R.,《改进构建覆盖阵列的参数内阶策略》,J.Res.Nat.Inst.Stand。《技术》,2008年,第113卷,第5期,第287-297页·doi:10.6028/jres.113.022
[26] Nayeri,P.、Colbourn,C.J.和Konjevod,G.,覆盖数组的随机后优化,Springer,Lect。注释计算。科学。,2009年,第5874卷,第408-419页·Zbl 1267.05051号 ·doi:10.1007/978-3642-10217-240
[27] 素数的幂级数。http://oeis.org/A000961
[28] Knuth,D.E.,《计算机编程的艺术》,Addison-Wesley,2005年,第4卷,第7.2.1.3章·Zbl 1127.68068号
[29] 已知最小覆盖阵列表。http://www.public.asu.edu/ccolbou/src/tabby/catable.html
[30] IPOG-F(NIST)方法构建的覆盖阵列表。http://math.nist.gov/coveringarrays/ipof/tables/table.3.6.html
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。