×
查尔斯·科尔伯恩。;紫罗兰·R·西罗提克。

关于故障特征的组合框架。 （英语） Zbl 1433.68268号

数学。计算。科学。 12，第4期，429-451（2018）.
概述：覆盖阵列已广泛用于检测大型软件和硬件系统中是否存在故障。事实上，发现由错误交互导致的失败需要测试用例涵盖所有可能导致错误的交互。然而，发现实际故障需要更多的时间，因为由两组潜在故障引起的故障不一定相同。开发了测试套件的组合要求，以使测试人员能够定位故障，并在类似的组合搜索问题的上下文中进行设置。被称为定位和检测阵列的测试套件在原理上和实践中都是用来定位故障的，它泛化了覆盖阵列，从而解决了组合故障表征问题。与覆盖阵列一样，这些定位和检测阵列的大小随因子数的对数变化，但与覆盖阵列不同，它们支持对故障背后的交互作用进行完整表征。

引用于三文件

MSC公司：

68卢比 计算机科学中的组合数学
05B15号 正交数组、拉丁方块、房间方块
05B40号 包装和覆盖的组合方面
62K05美元 最佳统计设计

关键词：

覆盖阵列;组合测试;定位阵列;检测阵列;压缩传感;实验设计

软件：

AETG公司;PDCO公司
PDF格式BibTeX公司 XML格式引用
\textit{C.J.Colbourn}和\textit{V.R.Syrotiuk}，数学。计算。科学。12，第4号，429--451（2018；Zbl 1433.68268）
全文： DOI程序

参考文献：

[1] 安大略省Aldaco；CJ科尔伯恩；Syrotiuk，VR，《定位阵列：筛选复杂工程系统的新实验设计》，SIGOPS Oper。系统。修订版，49，31-40，（2015）·doi:10.1145/2723872.2723878
[2] Alon，N.，Spencer，J.H.：概率方法。《离散数学与优化Wiley Interscience系列》，第3版。霍博肯·威利（2008）·Zbl 1148.05001号 ·doi:10.1002/9780470277331
[3] 巴赫，J.，施罗德，P.J.：成对测试：并非如此的最佳实践。收录于：第22届太平洋西北软件质量年会，第180-196页（2004）
[4] Berg，E。；坎迪斯，E。；Chinn，G。；莱文，C。；奥尔科特，PD；Sing-Long，C.，固态成像传感器的单光子采样结构，Proc。国家。阿卡德。科学。，110，e2752-e2761，（2013）·doi:10.1073/pnas.1216318110
[5] 布莱斯，RC；Colbourn，CJ，用于更高强度覆盖阵列的基于密度的贪婪算法，Softw。测试。验证。信实。，19, 37-53, (2009) ·数字对象标识代码：10.1002/stvr.393
[6] 布莱斯，RC；Colbourn，CJ，检测交互故障的预期时间，J.Comb。数学。梳子。计算。，86, 87-110, (2013) ·Zbl 1358.68068号
[7] Bryce，R.C.、Colbourn，C.J.、Kuhn，D.R.：使用基于距离的策略自适应地查找交互错误。2011年IEEE第18届计算机系统工程国际会议和研讨会（ECBS），第4-13页（2011）
[8] 比肖蒂，新罕布什尔州；Costa，A.，从成员资格查询中准确了解军政府，Lect。注释Artif。整数。，9925, 115-129, (2016) ·Zbl 1398.68431号
[9] Chandrasekaran，J.，Ghandhari，L.S.，Lei，Y.，Kacker，R.，Kuhn，D.R.：评估BEN在定位不同类型软件故障方面的有效性。2016年IEEE第九届国际软件测试、验证和确认研讨会（ICSTW），第26-34页（2016）
[10] 陈，SS；多诺霍，DL；马萨诸塞州桑德斯，《基追踪原子分解》，SIAM J.Sci。计算。，20, 33-61, (1998) ·兹比尔0919.94002 ·doi:10.1137/S1064827596304010
[11] 陈，TY；Kuo，FC公司；RG默克尔；Tse，T.，自适应随机测试：测试用例多样性的艺术，J.Syst。软质。，83, 60-66, (2010) ·doi:10.1016/j.jss.2009.02.022
[12] Chen，T.Y。；Leung，H。；Mak，I.K.，自适应随机测试，320-329，（2004），柏林，海德堡·Zbl 1115.68380号 ·数字对象标识代码：10.1007/978-3-540-30502-623
[13] 郑，CS；Tang，B.，过饱和设计中柱数的上限，Biometrika，88，1169-1174，（2001）·Zbl 0986.62064号 ·doi:10.1093/biomet/88.4.1169
[14] 科恩，DM；Dalal，SR；马里兰州弗雷德曼；Patton，GC，《AETG系统：基于组合设计的测试方法》，IEEE Trans。柔和。工程师，23，437-44，（1997）·数字对象标识代码：10.1109/32.605761
[15] 科恩，MB；德怀尔，MB；Shi，J.，《在存在约束的情况下为高配置系统构建交互测试套件：贪婪方法》，IEEE Trans。柔和。工程师，34，633-650，（2008）·doi:10.1109/TSE.2008.50
[16] CJ科尔伯恩；Fan，B.，《定位一对相互作用：三种递归结构》，J.代数梳。离散结构。申请。，3, 125-134, (2016) ·Zbl 1425.05025号
[17] CJ科尔伯恩；风扇，B。；霍斯利，D.，不相交扩展系统和故障定位，SIAM J.离散数学。，30, 2011-2016, (2016) ·Zbl 1348.05045号 ·doi:10.1137/16M1056390
[18] CJ科尔伯恩；Lanus，大肠杆菌。；Sarkar，K.，覆盖完美散列族和覆盖数组的渐近和构造方法，设计代码加密。，86, 907-937, (2018) ·兹比尔1383.05045 ·doi:10.1007/s10623-017-0369-x
[19] CJ科尔伯恩；McClary，DW，《交互故障的定位和检测阵列》，J.Comb。最佳。，15, 17-48, (2008) ·Zbl 1149.90090号 ·doi:10.1007/s10878-007-9082-4
[20] Colbourn，C.J.，Syrotiuk，V.R.：覆盖、定位、检测和测量。2016年IEEE第九届国际软件测试、验证和确认研讨会（ICSTW），第19-25页。IEEE出版社（2016）
[21] Compton，R.、Mehari，M.T.、Colbourn，C.J.、De Poorter，E.、Syrotiuk，V.R.：使用定位阵列在无线网络测试床中筛选交互因素。In:IEEE INFOCOM使用测试床进行计算机和网络实验研究国际研讨会（2016年）
[22] Dalal，SR；Mallows，CL，测试软件的因子覆盖设计，Technometrics，40，234-243，（1998）·doi:10.1080/00401706.1998.10485524
[23] Damaschke，P.，自适应与非自适应属性有效学习，马赫。学习。，41, 197-215, (2000) ·Zbl 0965.68029号 ·doi:10.1023/A:1007616604496
[24] 多诺霍，DL；霍，X.，《测不准原理和理想原子分解》，IEEE Trans。《信息论》，472845-2862，（2001）·Zbl 1019.94503号 ·doi:10.1109/18.959265
[25] Du，D.Z.，Hwang，F.K.：组合群测试及其应用，第2版。世界科学出版公司，River Edge（2000）·Zbl 0952.90001号
[26] Erdős，P.，Lovász，L.：关于3-色超图的问题和结果以及一些相关问题。In:无限和有限集（Colloq.，Keszthely，1973年第二卷，第609-627页）。集体数学。János Bolyai出版社，第10卷。荷兰北部，阿姆斯特丹（1975年）·Zbl 0315.05117号
[27] Francetić，N。；Stevens，B.，《覆盖数组的渐近大小：熵压缩的应用》，J.Comb。Des，25，243-257，（2017）·兹比尔1370.05033 ·doi:10.1002/jcd.21553
[28] 弗兰克尔，PG；哈姆雷特，RG；Littlewood，B。；Strigini，L.，《通过交付可靠性评估测试方法》，IEEE Trans。柔和。工程，24586-601，（1998）·doi:10.1109/32.707695
[29] Ghandehari，L.S.、Chandrasekaran，J.、Lei，Y.、Kacker，R.、Kuhn，D.R.：BEN：一种基于组合测试的故障定位工具。2015年IEEE第八届国际软件测试、验证和确认研讨会（ICSTW），第1-4页（2015）
[30] Ghosh，S.、Shirakura，T.、Srivastava，J.N.：使用搜索线性模型和搜索设计进行模型识别。内容：熵、搜索、复杂性、Bolyai Soc.Math。Stud.，第16卷，第85-112页。柏林施普林格出版社（2007）
[31] 阿联酋戈德博尔；箕斗，DE；Sunley，RA，（t）-覆盖数组：上界和泊松近似，Comb。普罗巴伯。计算。，5, 105-118, (1996) ·Zbl 0865.60008号 ·doi:10.1017/S09635484830001905
[32] Grindal，M。；Offutt，J。；Andler，SF，《组合测试策略——调查》，Softw。测试。验证。信实。，5, 167-199, (2005) ·doi:10.1002/stvr.319
[33] 哈姆雷特，D。；Taylor，R.，分区测试不会激发信心（程序测试），IEEE Trans。柔和。工程师，16，1402-1411，（1990）·数字对象标识代码：10.1109/32.62448
[34] 哈特曼，A。；Golumbic，MC（编辑）；Hartman，IBA（编辑），使用组合覆盖套件的软件和硬件测试，237-266，（2005），诺威尔·Zbl 1089.68023号 ·数字对象标识代码：10.1007/0-387-25036-0_10
[35] 哈特曼，A。；Raskin，L.，覆盖数组的问题和算法，离散数学。，284, 149-156, (2004) ·兹比尔1044.05029 ·doi:10.1016/j.disc.2003.11.029文件
[36] Jin，H.，Tsuchiya，T.：组合交互测试的约束定位阵列。CoRR arXiv:1801.06041（2018）
[37] 约翰逊，DS，组合问题的近似算法，J.Compute。系统。科学。，9, 256-278, (1974) ·Zbl 0296.65036号 ·doi:10.1016/S0022-0000（74）80044-9
[38] 琼斯，B。；Majumdar，D.，《最优过饱和设计》，美国统计协会，1091592-1600，（2014）·Zbl 1368.62222号 ·doi:10.1080/01621459.2014.938810
[39] Konishi，T.、Kojima，H.、Nakagawa，H.和Tsuchiya，T.:使用SAT解算器查找最小定位阵列。2017年3月13日至17日，日本东京，2017年IEEE软件测试、验证和确认研讨会国际会议，2017年ICST研讨会，第276-277页（2017）
[40] Kuhn，DR；布莱斯，RC；Duan，F。；甘德哈里，LSG；雷，Y。；RN Kacker，《组合测试：理论与实践》，高级计算。，99, 1-66, (2015) ·doi:10.1016/bs.adcom.2015.05.003
[41] Kuhn，D.R.，Kacker，R.，Lei，Y.：组合测试简介。CRC出版社，博卡拉顿（2013）·Zbl 1272.68004号
[42] Kuhn，D.R.，Kacker，R.，Lei，Y.：组合覆盖作为测试质量的一个方面。相声第19-23页（2015年）
[43] Kuhn，D.R.，Mendoza，I.D.，Kacker，R.，Lei，Y.：组合覆盖测量概念和应用。摘自：第六届IEEE软件测试、验证和确认国际会议，ICST 2013年研讨会记录，卢森堡，2013年3月18日至22日，第352-361页（2013）
[44] Kuhn，D.R.，Reilly，M.：实验设计对软件测试适用性的调查。摘自：第27届NASA戈达德/IEEE软件工程研讨会论文集，第91-95页。IEEE，加利福尼亚州洛斯阿拉米托斯（2002）
[45] Kuhn，DR；Wallace博士；Gallo，AM，软件故障交互和软件测试的影响，IEEE Trans。柔和。工程，30，418-421，（2004）·doi:10.1109/TSE.2004.24
[46] 李，PC；Meagher，K.，Sperner分区系统，J.库姆。设计。，21, 267-279, (2013) ·兹比尔1269.05107 ·doi:10.1002/jcd.21330
[47] Lovász，L.，关于最优积分覆盖与分数覆盖之比，离散数学。，13, 383-390, (1975) ·Zbl 0323.05127号 ·doi:10.1016/0012-365X（75）90058-8
[48] 马丁内斯，康拉多；露西娅·莫拉；丹尼尔·帕纳里奥（Daniel Panario）；Stevens，Brett，《使用ELA、覆盖阵列和自适应测试算法定位错误》，SIAM离散数学杂志，231776-1799，（2010）·Zbl 1210.94126号 ·数字对象标识代码：10.1137/080730706
[49] Meagher，K.，Moura，L.，Stevens，B.：集部分系统的Sperner型定理。电子。J.组合。12，注释20（电子版）（2005年）·Zbl 1077.05097号
[50] 哥伦比亚特区蒙哥马利：实验设计与分析，第8版。威利，纽约（2012）
[51] 罗宾·莫瑟（Robin A.Moser）。；Tardos，Gábor，一般lovász局部引理的构造性证明，ACM杂志，57，1-15，（2010）·Zbl 1300.60024号 ·doi:10.1145/1667053.1667060
[52] Nagamoto，T.、Kojima，H.、Nakagawa，H.和Tsuchiya，T.：在成对测试中定位错误交互。摘自：第20届IEEE环太平洋地区可靠计算国际研讨会，2014年PRDC，新加坡，2014年11月18日至21日，第155-156页（2014）
[53] Nayeri，P。；CJ科尔伯恩；Konjevod，G.，覆盖阵列的随机后优化，Eur.J.Comb。，34, 91-103, (2013) ·Zbl 1252.05023号 ·doi:10.1016/j.ejc.2012.07.017
[54] 聂长海；Leung，Hareton，组合测试调查，ACM计算调查，43，1-29，（2011）·Zbl 1293.68080号 ·doi:10.1145/1883612.1883618
[55] 聂，C。；吴，H。；牛，X。；Kuo，F。；梁振英，香港特别行政区；Colbourn，CJ，用于检测交互触发故障的组合测试、随机测试和自适应随机测试，Inf.Softw。技术。，62, 198-213, (2015) ·doi:10.1016/j.infsof.2015.02.008
[56] Petke，J.：约束：组合交互测试的未来。2015年IEEE/ACM第八届基于搜索的软件测试国际研讨会（SBST），第17-18页（2015）
[57] Petke，J。；科恩，MB；哈曼，M。；Yoo，S.，《实用组合交互测试：效率和早期故障检测的经验发现》，IEEE Trans。柔和。工程，41，901-924，（2015）·doi:10.1109/TSE.2015.2421279
[58] Sarkar，K。；Colbourn，CJ，覆盖数组大小的上界，SIAM J.离散数学。，31, 1277-1293, (2017) ·Zbl 1365.05039号 ·doi:10.1137/16M1067767
[59] Schroeder，P.J.，Bolaki，P.，Gopu，V.：比较n路和随机测试套件的故障检测效果。摘自：《实证软件工程国际研讨会论文集》（ISESE04），第49-59页（2004）
[60] Seidel，S.A.、Mehari，M.T.、Colbourn，C.J.、De Poorter，E.、Moerman，I.、Syrotiuk，V.R.：无线网络大规模实验数据分析。In:IEEE INFOCOM使用测试床进行计算机和网络实验研究国际研讨会（CNERT）（2018年）
[61] 斯蒂芬·塞德尔（Stephen A.Seidel）。；考希克·萨尔卡；查尔斯·科尔伯恩。；Syrotiuk，Violet R.，使用定位和检测阵列分离相互作用效应，349-360，（2018），Cham·Zbl 1511.90439号
[62] Shi，C。；Tang，Y。；Yin，J.，最多两个断层的最佳定位阵列，科学。中国数学。，55, 197-206, (2012) ·Zbl 1239.05026号 ·doi:10.1007/s11425-011-4307-5
[63] Stein，SK，两个组合覆盖定理，J.Comb。理论Ser。A、 16391-397（1974）·Zbl 0287.05002号 ·doi:10.1016/0097-3165（74）90062-4
[64] KC台；Yu，L.，成对测试的测试生成策略，IEEE Trans。柔和。工程，28，109-111，（2002）·doi:10.1009/32.979992
[65] Tang，Y。；CJ科尔伯恩；Yin，J.，定位阵列的最优性和构造，J.Stat.Theory Pract。，6, 20-29, (2012) ·Zbl 1418.05040号 ·doi:10.1080/15598608.2012.647484
[66] 托雷斯-希门尼斯，J。；Rodriguez-Tello，E.，使用模拟退火的二进制覆盖阵列的新上界，Inf.Sci。，185, 137-152, (2012) ·doi:10.1016/j.ins.2011.09.020
[67] Yilmaz，C。；科恩，MB；Porter，A.，《复杂配置空间中有效故障表征的覆盖阵列》，IEEE Trans。柔和。工程，31，20-34，（2006）·doi:10.1109/TSE.2006.8
[68] Yilmaz，C。；Dumlu，E。；科恩，MB；Porter，A.，《减少组合交互测试中的掩蔽效应：反馈驱动的自适应方法》，IEEE Trans。柔和。工程，40，43-66，（2014）·doi:10.1109/TSE.2013.53
[69] Zhang，Y.：关于通过最小化的压缩传感理论：简单推导和扩展。技术代表CAAM TR08-11，莱斯大学（2008）
[70] Zhou，W.，Zhang，D.：唯一误差定位阵列和近似误差定位阵列。摘自：2012年IEEE计算机科学和自动化工程国际会议，第480-483页（2012）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。