×
伊斯梅尔·罗德里格斯;费尔南多·罗莎·维拉尔多;费尔南多·鲁比奥

将复杂性引入正式测试。 （英语） 兹比尔1494.68099

J.日志。阿尔盖布。方法程序。 111，文章ID 100502，30 p.（2020）.
摘要：提出了一种将渐近复杂性引入测试的一般理论。我们的目标是衡量测试工作必须以多快的速度增加，以达到测试中实现（IUT）正确性的更高部分确定性水平。最近的工作表明，对于许多实际测试场景，任何某些有限的测试套件可以达到部分正确性确定性水平小于1（其中1表示完全确定性）。在本文中，我们解决了一个问题，即只要目标级别接近1，这些测试套件必须增长多快。更准确地说，我们想研究测试套件是如何随着\（\alpha\）增长的，其中\（\alpha\）是距离到1的倒数（例如，如果\（\阿尔pha=4\），那么我们的目标级别是\（0.75=1-\frac{1}{4}）。提出了一种测量这种测试复杂性的通用理论。我们用这个理论分析了一些一般测试问题的测试复杂性，以及这些问题的一些特定测试策略的复杂性，发现它们位于例如，（mathcal{O}（\log\alpha）），（mathcal{O{（\log^2\alpha（\sqrt{\alpha}）\）。与计算复杂性理论在概念上区分问题和算法紧密识别测试的复杂性问题需要对任何测试进行推理策略解决问题。识别测试复杂性的能力将为测试人员提供测试效率的度量，也就是说，根据附加测试用例与（理想的）测试用例之间的距离，衡量应用第（n+1）个计划测试用例的效用IUT（in-）正确性的完全确定性。

MSC公司：

第68季度25 算法和问题复杂性分析
68米15 网络和计算机系统的可靠性、测试和容错
65年第68季度 形式语言和自动机

关键词：

测试;复杂性理论

软件：

JUnit公司
PDF格式BibTeX公司 XML格式引用
\textit{I.Rodríguez}等人，J.Log。阿尔盖布。方法计划。111，文章ID 100502，30 p.（2020；Zbl 1494.68099）
全文： 内政部

参考文献：

[1] Rice，H.G.，递归可枚举集的类及其决策问题，Trans。美国数学。《社会学杂志》，第74、2、358-366页（1953年）·Zbl 0053.00301号
[2] Lee博士。；Yannakakis，M.，《测试有限状态机的原理和方法：调查》，Proc。IEEE，84，8，1090-1123（1996）
[3] Petrenko，A.，有限状态模型的故障模型驱动测试推导：注释参考书目，（第四届并行过程建模与验证暑期学校。第四届并行过程建模与验证暑期学校，MOVEP'00。第四届并行过程建模与验证暑期学校。第四届并行过程建模与验证暑期学校，MOVEP’00，LNCS，第2067卷（2001），Springer），196-205·Zbl 0985.68677号
[4] Brinksma，E。；Tretman，J.，《测试过渡系统：注释书目》，（第四届并行过程建模与验证暑期学校，第四届平行过程建模与检验暑期学校MOVEP’00）。第四届并行过程建模与验证暑期学校。第四届并行过程建模与验证暑期学校，MOVEP’00，LNCS，第2067卷（2001），Springer），187-195·Zbl 0985.68661号
[5] 罗德里格斯，I。；梅拉约，M。；Nüñez，M.，（\mathcal{H}\mathcal{O}\mathcal{T}\matchcal{L}）：假设和观察测试逻辑，J.Log。代数程序。，74，2，57-93（2008年）·Zbl 1131.68064号
[6] 多罗菲耶娃，R。；El-Fakih，K。；Maag，S。；卡瓦利，A。；Yevtushenko，N.，基于FSM的一致性测试方法：一项带有实验评估注释的调查，Inf.Softw。技术。，52, 12, 1286-1297 (2010)
[7] Tretmans，J.，《使用标记转换系统的一致性测试：实现关系和测试生成》，计算。Netw公司。ISDN系统。，29, 49-79 (1996)
[8] Tretman，J.，《测试并发系统：一种形式化方法》，（第十届并发理论国际会议，第十届并行理论国际会议），CONCUR’99。第十届并行理论国际会议。第十届并行理论国际会议，CONCUR’99，LNCS，第1664卷（1999），Springer），46-65
[9] 加斯顿，C。；加尔，P.L。；拉宾，N。；Touil，A.，《测试目的定义的符号执行技术》，（第18届IFIP TC6/WG6.1国际会议，第18届国际会议，2006年TestCom。第18届IFIP TC6/WG6.1国际会议。第18届IFIP TC6/WG6.1国际会议，TestCom 2006，LNCS，第3964卷（2006），Springer），1-18·Zbl 1185.68413号
[10] Springintveld，J。；Vaandrager，F。；D’Argenio，P.，《测试时间自动机》，Theor。计算。科学。，Twente大学254、1-2、225-257（1997），之前作为技术报告CTIT-97-17出现·Zbl 0972.68104号
[11] 克里钦，M。；Tripakis，S.，《实时系统的黑盒一致性测试》，（第11届国际软件模型检查SPIN研讨会，第11届软件模型检查国际SPIN研讨会），SPIN’04。第11届国际SPIN软件模型检查研讨会。第11届国际SPIN软件模型检查研讨会，SPIN’04，LNCS，第2989卷（2004），Springer），109-126·兹比尔1125.68370
[12] 贝尔拉达，I。；Castanet，R。；费利克斯，P。；Salah，A.，《使用时间界限跟踪的实时系统的测试用例最小化》，（第18届IFIP TC6/WG6.1国际会议，第18届国际会议，2006年TestCom。第18届IFIP TC6/WG6.1国际会议。第18届IFIP TC6/WG6.1国际会议，TestCom 2006，LNCS，第3964卷（2006），Springer），289-305·Zbl 1185.68083号
[13] 梅拉约，M。；努涅斯，M。；Rodríguez，I.，《扩展EFSM以指定和测试具有动作持续时间和超时的定时系统》，IEEE Trans。计算。，57, 6, 835-844 (2008) ·Zbl 1373.68141号
[14] Stoelinga，M。；Vaandrager，F.，《概率自动机的测试场景》，（第30届自动机、语言和编程国际学术讨论会，第30届自动化、语言和程序国际学术讨论会议，ICALP’03）。第30届国际自动化、语言和编程学术讨论会。第30届国际自动化学术讨论会，语言与编程，ICALP’03，LNCS，第2719卷（2003），Springer），464-477·Zbl 1039.68071号
[15] 洛佩斯，N。；努涅斯，M。；罗德里格斯，I.，《符号概率系统的规范、测试和实现关系》，Theor。计算。科学。，353, 1-3, 228-248 (2006) ·Zbl 1088.68021号
[16] Cheon，Y。；Leavens，G.，《单元测试的简单实用方法：JML和JUnit方法》，（第16届欧洲面向对象编程会议，第16届欧盟面向对象编程大会，ECOOP 2002。第十六届欧洲面向对象编程会议。第十六届欧洲面向对象编程会议，ECOOP 2002，LNCS，第2374卷（2002），Springer），231-255·Zbl 1049.68762号
[17] Do，H。；罗瑟梅尔，G。；Kinneer，A.，《JUnit测试用例优先化：实证评估和成本效益分析》，Empir。柔和。工程，11，1，33-70（2006）
[18] Güniçen，C。；伊南，K。；Turker，加州大学。；Yenigün，H.，预置区分序列和同步序列之间的关系，Form.Asp。计算。，26, 6, 1153-1167 (2014) ·Zbl 1342.68184号
[19] Efatmaneshnik，M。；绍瓦尔，S。；Joiner，K.，《系统测试体系结构评估：概率建模方法》，IEEE系统。J.，1-12（2019）
[20] Bernot，G。；高德尔，M.-C。；Marre，B.，《基于形式规范的软件测试：理论和工具》，Softw。Eng.J.，6387-405（1991）
[21] Gaudel，M.-C.，测试也可以是正式的，（第六届CAAP/FASE，软件开发理论与实践，第六届GAAP/FASE:Theory and Practice of Software Development，TAPSOFT’95）。第六届CAAP/FASE，软件开发理论与实践。第六届CAAP/FASE，软件开发理论与实践，TAPSOFT’95，LNCS，第915卷（1995），Springer），82-96·Zbl 1496.68107号
[22] Hierons，R.，在存在测试假设和故障域的情况下比较测试集和标准，ACM Trans。柔和。工程方法。，11, 4, 427-448 (2002)
[23] Hierons，R.，《使用故障域或测试假设进行测试时的判定功能》，ACM Trans。柔和。工程方法。，18, 4 (2009)
[24] 达席尔瓦·西芒，A。；Petrenko，A.，为ioco生成完整且有限的测试套件：可能吗？，（2014年4月6日，法国格勒诺布尔，MBT，第九届模型测试研讨会论文集。基于模型的测试第九次研讨会论文集。《基于模型的测试第九次研讨会论文集》，MBT 2014，格勒诺布尔，法国，2014年4月6日，EPTCS，第141卷（2014）），56-70
[25] 谢尔尼亚夫斯基，J。；Smith，C.，程序测试的递归理论方法，IEEE Trans。柔和。工程，13777-784（1987）·Zbl 0617.68014号
[26] 谢尔尼亚夫斯基，J。；Statman，R.，《测试：一种抽象方法》，（软件测试、验证和分析第二次研讨会论文集（1988），IEEE计算机社会出版社），38-44
[27] 罗德里格斯，I。；拉娜，L。；Rabanal，P.，《通用测试性理论：类、属性、复杂性和测试简化》，IEEE Trans。柔和。工程，40862-894（2014）
[28] Rodríguez，I.，《一般可测试性理论》（CONCUR 2009-并发理论，第20届国际会议），CONCUR 2009-并发理论·Zbl 1254.68152号
[29] Hennessy，M.，《过程代数理论》（1988），麻省理工学院出版社·兹比尔0746.8047
[30] Tretmans，J.，带标记转换系统的基于模型的测试，（形式方法和测试.形式方法和试验，LNCS，第4949卷（2008），Springer），1-38
[31] 米勒，K.W。；Morell，L.J。；努南，R.E。；南卡罗来纳州帕克。；Nicol，D.M。；默里尔，B.W。；Voas，M.，《在测试未发现故障时估计故障概率》，IEEE Trans。柔和。工程师，18，1，33-43（1992）
[32] Littlewood，B。；Strigini，L.，基于软件系统的超高可靠性验证，（可预测可靠计算系统（1995），Springer），473-493
[33] DeMillo，R.A。；利普顿，R.J。；Sayward，F.G.，《测试数据选择提示：对实践程序员的帮助》，《计算机》，第11、4、34-41页（1978年）
[34] 戈皮纳特，R。；Jensen，C。；Groce，A.，《突变人口普查：胜任程序员假设的实证检验》（2014），俄勒冈州立大学电气工程与计算机科学学院，技术报告
[35] Offutt，A.，耦合效应：事实还是虚构，SIGSOFT Softw。工程注释，14，8，131-140（1989）
[36] 哈姆雷特，D。；Taylor，R.，分区测试不会激发信心（程序测试），IEEE Trans。柔和。工程师，16，12，1402-1411（1990）
[37] Morell，L.J.，《基于故障的测试理论》，IEEE Trans。柔和。工程师，16，8，844-857（1990）
[38] 杜兰，J.W。；Ntafos，S.C.，随机测试评估，IEEE Trans。柔和。工程师，4438-444（1984）
[39] Weyuker，E.J。；Jeng，B.，分析分区测试策略，IEEE Trans。柔和。工程师，17，7，703-711（1991）
[40] 伯赫梅，M。；Paul，S.，自动化软件测试效率的概率分析，IEEE Trans。柔和。工程师，42，4，345-360（2016）
[41] 格雷戈里，J。；Crispin，L.，《更敏捷的测试：整个团队的学习之旅》（2014），Addison-Wesley Professional
[42] Chow，T.S.，用有限状态机建模的测试软件设计，IEEE Trans。柔和。工程师，3178-187（1978）·Zbl 0379.68039号
[43] 藤原，S。；Bochmann，G.v。；Khendek，F。；阿玛卢，M。；Ghedamsi，A.，基于有限状态模型的测试选择，IEEE Trans。柔和。工程，17，6，591-603（1991）
[44] Gonenc，G.，故障检测实验设计方法，IEEE Trans。计算。，100, 6, 551-558 (1970) ·Zbl 0195.30902号
[45] Sabnani，K。；Dahbura，A.，协议测试生成程序，计算机。Netw公司。ISDN系统。，15, 4, 285-297 (1988)
[46] Vuong，S.T.，《协议测试序列生成的uiov-method》，（第二届IFIP国际协议测试系统研讨会，第二届国际协议测试体系研讨会，IWPTS’89（1989）），161-175
[47] 北库什克。；Yevtushenko，N.，自适应归航在p中，arXiv预印本
[48] Yenigün，H。；Yevtushenko，N。；Kushik，N.，确定性fsms自适应同步实验存在性检查和推导的复杂性，Inf.过程。莱特。，127, 49-53 (2017) ·兹比尔1409.68163
[49] 北库什克。；Yevtushenko，N。；Yenigün，H.，降低检查非确定性FSM自适应同步实验存在性和推导的复杂性，（基于领域特定模型的验证和确认方法国际研讨会。基于领域特定建模的验证和验证方法国际研讨会，AMARETTO@MODELSWARD公司2016（2016），科学技术出版社），83-90
[50] Simao，A。；Petrenko，A.，检查有限状态机测试的完整性，IEEE Trans。计算。，59, 8, 1023-1032 (2010) ·Zbl 1368.68240号
[51] Bonifacio，A.L。；Moura，A.V.，《关于测试套件的完整性》，（第29届ACM应用计算年度研讨会论文集（2014），ACM），1287-1292
[52] 博尼法西奥，A。；Moura，A。；Simao，A.，有限状态机测试套件完整性检查方法的实验比较，Inf.Softw。技术。，92, 95-104 (2017)
[53] Hierons，R.M.，基于异步模型测试的复杂性，Theor。计算。科学。，451, 70-82 (2012) ·Zbl 1251.68118号
[54] 阿尼多·R。；卡瓦利，A.R。；利马，L.P。；Yevtushenko，N.，《上下文测试的测试套件最小化》，Softw。测试。验证。信实。，13, 3, 141-155 (2003)
[55] 塔勒姆，S。；Gupta，N.，一种受概念分析启发的测试套件最小化贪婪算法，Softw。工程注释，31，1，35-42（2006）
[56] 布莱斯，R.C。；Memon，A.M.，《通过交互覆盖划分测试套件优先级》，（软件测试自动化领域特定方法研讨会：结合第六届ESEC/FSE联合会议（2007），ACM），1-7
[57] Petke，J。；科恩，M.B。；哈曼，M。；Yoo，S.，《实用组合交互测试：效率和早期故障检测的经验发现》，IEEE Trans。柔和。工程，41，9，901-924（2015）
[58] Yoo，S。；Harman，M.，回归测试最小化、选择和优先级：调查，Softw。测试。验证。信实。，2267-120（2012年）
[59] G.Ausiello，V.T.Paschos，《保持近似性的约简》，收录于：近似算法和元启发式手册：方法学和传统应用1。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。