×

覆盖阵列的随机后优化。 (英语) Zbl 1252.05023号

摘要:构建具有最少行的覆盖数组仍然是一个具有挑战性的问题。大多数计算和递归构造都会导致覆盖范围的大量重复。虽然有些是必要的,但有些不是。通过减少重复覆盖,元启发式搜索技术通常优于更简单的计算方法,但它们已应用于有限的一组案例。由于时间限制,他们往往无法找到一系列具有竞争力的规模。我们研究一种不同的方法。在使用简单的计算或构造来找到覆盖数组之后,我们使用了一种后优化技术,该技术反复调整数组以减少其行数。在每个阶段,阵列都保持完全覆盖。我们通过在某些情况下消除10%的行,在以前最著名的数组集合上展示了它的价值。在研究充分的强度为2、20个因子各有10个值的情况下,后优化产生了只有162行的覆盖阵列,改进了各种计算和组合方法。我们确定了覆盖阵列的某些重要特征,这些特征的后优化是成功的。

MSC公司:

05B15号 正交数组、拉丁方块、房间方块
68卢比 计算机科学中的组合数学
68兰特 计算机科学中的图论(包括图形绘制)

软件:

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

参考文献:

[1] 布莱斯,R.C。;Colbourn,C.J.,成对交互测试的密度算法,Softw。测试、验证、可靠性。,17, 159-182 (2007)
[2] 布莱斯,R.C。;Colbourn,C.J.,高强度覆盖阵列的基于密度的贪婪算法,Softw。测试、验证、可靠性。,2009年3月19日至53日
[4] Chateauneuf,医学硕士。;Kreher,D.L.,《关于三种覆盖阵列的强度状态》,J.Combin.Des。,10, 217-238 (2002) ·Zbl 1003.05022号
[6] 科恩,M.B。;科尔伯恩,C.J。;Ling,A.C.H.,用增广退火构造强度三覆盖阵列,离散数学。,308, 2709-2722 (2008) ·Zbl 1149.05012号
[7] 科恩,D.M。;Dallal,S.R。;弗雷德曼,M.L。;Patton,G.C.,AETG系统:一种基于组合设计的测试方法,IEEE Trans。柔和。工程师,23,437-444(1997)
[8] Colbourn,C.J.,覆盖阵列的组合方面,Le Matematiche(Catania),58,121-167(2004)
[9] Colbourn,C.J.,《分布散列族和覆盖数组》,J.Combin.Inf.系统。科学。,34, 113-126 (2009) ·Zbl 1271.05016号
[10] Colbourn,C.J.,《加强两个覆盖数组:存在表和投影》,《离散数学》。,308, 772-786 (2008) ·Zbl 1134.05013号
[11] Colbourn,C.J.,《来自环形切开术的覆盖阵列》,Des。密码。,55, 201-219 (2010) ·Zbl 1215.05019号
[13] Colbourn,C.J.,《完成部分拉丁方的复杂性》,《离散应用》。数学。,8, 25-30 (1984) ·Zbl 0538.05013号
[14] 科尔伯恩,C.J。;Kéri,G.,覆盖数组和存在闭图,计算机课堂讲稿。科学。,5557,22-33(2009年)·Zbl 1248.05034号
[15] 科尔伯恩,C.J。;Kéri,G。;Rivas Soriano,P.P。;Schlage-Puchta,J.-C.,覆盖和半径覆盖阵列:构造和分类,离散应用。数学。,158, 1158-1190 (2010) ·Zbl 1231.05033号
[16] 科尔伯恩,C.J。;马尔季罗相,S.S。;马伦,G.L。;沙沙,D.E。;Sherwood,G.B。;Yucas,J.L.,强度为二的混合覆盖阵列的产品,J.Combina.Des。,14, 124-138 (2006) ·Zbl 1134.05306号
[17] 科尔伯恩,C.J。;Martirosyan,S.S。;Tran Van Trung公司;Walker II,R.A.,覆盖强度3和强度4阵列的Roux型构造,Des。密码。,41, 33-57 (2006) ·Zbl 1182.05026号
[18] 《福布斯》,M。;劳伦斯,J。;雷,Y。;Kacker,R.N。;Kuhn,D.R.,《改进构建覆盖阵列的参数内阶策略》,J.Res.Nat.Inst.Stand。技术,113287-297(2008)
[19] Godbole,A.P。;Skipper,D.E。;Sunley,R.A.,(t)-覆盖数组:上界和泊松近似,组合概率。计算。,5, 105-118 (1996) ·Zbl 0865.60008号
[20] Hartman,A.,使用组合覆盖套件的软件和硬件测试,(Golumbic,M.C.;Hartman、I.B.-A.,图论、组合数学和算法的跨学科应用(2005),Springer:Springer-Norwell,MA),237-266·Zbl 1089.68023号
[21] Hedayat,A.S。;斯隆,N.J.A。;Stufken,J.,正交阵列(1999),Springer-Verlag:Springer-Verlag纽约·Zbl 0935.05001号
[22] Hnich,B。;普雷斯特维奇,S。;Selensky,E。;Smith,B.M.,覆盖测试问题的约束模型,约束,11,199-219(2006)·Zbl 1103.68810号
[23] 约翰逊,K.A。;Entringer,R.,《不含4圈的(n)-立方体的最大诱导子图》,J.Combin理论Ser。B、 46、346-355(1989)·Zbl 0626.05029号
[24] 约翰逊,K.A。;格拉斯,R。;McCanna,J。;Székely,L.A.,Pascalian矩形模\(m\),Quaest。数学。,14, 383-400 (1991) ·Zbl 0769.05004号
[25] Katona,G.O.H.,Sperner型定理的两个应用(用于搜索理论和真值函数),Period。数学。,3, 19-26 (1973) ·Zbl 0266.05001号
[26] 克莱特曼,D。;Spencer,J.,独立集族,离散数学。,6255-262(1973年)·Zbl 0269.05002号
[31] Martirosyan,S.S。;Colbourn,C.J.,《覆盖阵列的递归构造》,拜罗伊特。数学。Schr.等人。,74, 266-275 (2005) ·Zbl 1122.05019号
[32] Martirosyan,S.S。;Tran Van Trung,On\(t\)-覆盖阵列,Des。密码。,32, 323-339 (2004) ·Zbl 1046.05020号
[33] 米格尔,K。;Stevens,B.,覆盖数组的群构造,J.Combina.Des。,13, 70-77 (2005) ·Zbl 1057.05023号
[34] Nayeri,P。;科尔伯恩,C.J。;Konjevod,G.,覆盖数组的随机后优化,计算讲义。科学。,5874, 408-419 (2009) ·Zbl 1267.05051号
[35] Nurmela,K.,通过禁忌搜索覆盖数组的上界,离散应用程序。数学。,138, 143-152 (2004) ·Zbl 1034.05013号
[37] Sherwood,G.B。;Martirosyan,S.S。;Colbourn,C.J.,从排列向量覆盖更高强度的阵列,J.Combin.Des。,14, 202-213 (2006) ·Zbl 1092.05010号
[38] 史蒂文斯,B。;Ling,A.C.H。;Mendelsohn,E.,使用群可分设计直接构造横向覆盖,Ars Combin,63,145-159(2002)·Zbl 1076.05502号
[39] Tai,K.C。;Yu,L.,成对测试的测试生成策略,IEEE Trans。柔和。工程,28,109-111(2002)
[40] Tang,D.T。;Chen,C.L.,逻辑测试的迭代穷举模式生成,IBM J.Res.Dev.,28,212-219(1984)·Zbl 0529.94020号
[41] 董永伟。;Aldiwan,W.S.,新一代任务软件系统的自动化测试用例生成,(第30届IEEE航空航天会议(2000年),IEEE:IEEE Los Alamitos,CA),431-437
[42] Walker II,R.A。;Colbourn,C.J.,Tabu使用排列向量搜索覆盖数组,J.Stat.Plann。推断。,139, 69-80 (2009) ·Zbl 1284.62497号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。