巴勃罗·拉巴纳尔;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥 测试可恢复系统：基于河流形成动力学的形式化定义和启发式解决方案。 （英语） Zbl 1298.68255号 正式Asp。计算。 25，第5期，743-768（2013）. 引用于1文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 68T05型 人工智能中的学习和自适应系统 90 C59 数学规划中的近似方法和启发式 关键词：测试;加权有限状态机;最小负荷序列;进化计算;河流形成动力学 PDF格式BibTeX公司 XML格式引用 \textit｛P.Rabanal｝等人，正式Asp。计算。25，第5号，743--768（2013；Zbl 1298.68255） 全文： DOI程序 参考文献： [1] Alba E，Chicano JF（2007）用于模型检查的蚁群优化。收入：2007年EUROCAST。LNCS，第4739卷，第523-530页 [2] Aho A，Dahbura A，Lee D，Uyar Mü（1988）基于UIO序列和中国农村邮差旅行的协议一致性测试生成优化技术。In：协议规范、测试和验证，PSTV’88。阿姆斯特丹霍兰德北部，第75-86页 [3] Antoniol G、Di Penta M、Harman M（2004）在存在废弃、返工、错误和不确定性的情况下，对项目管理采取稳健的基于搜索的方法。摘自：IEEE软件度量研讨会，metrics’04。IEEE计算机学会，纽约，第172-183页 [4] Alba E，Troya JM（1996），协议验证的遗传算法。摘自：并行问题解决，PPSN'96。LNCS，第1141卷。柏林施普林格，第870-879页 [5] Bernot G、Gaudel M-C、Marre B（1991）《基于形式规范的软件测试：理论和工具》。软件工程杂志6:387-405·Zbl 1131.68064号 [6] Burgess CJ、Lefley M（2005），遗传编程能否改善软件工作量估算？比较评估。在：软件工程中的机器学习应用：软件工程和知识工程系列，第16卷。新加坡世界科学出版公司，第95-105页·Zbl 1085.68143号 [7] Bottaci L（2002）用遗传算法搜索测试数据的标记变量检测程序。收录：遗传和进化计算会议，GECCO’02。Morgan Kaufmann Publishers Inc.，门罗公园，第1337-1342页·Zbl 0195.30902号 [8] Brinksma E，Tretmans J（2001）《测试过渡系统：注释书目》。在：第四届并行过程建模与验证暑期学校，MOVEP’00。LNCS，第2067卷。柏林施普林格，第187-195页·Zbl 0985.68661号 [9] Chow TS（1978）用有限状态机建模的测试软件设计。IEEE Trans Softw工程4:178-187·兹伯利0379.68039 ·doi:10.1109/TSE.1978.231496 [10] Chen K，Jiang F，Huang C-D（2006）基于多UIO序列生成检测输出移位故障的同步测试序列的新方法。在：2006年ACM应用计算研讨会论文集，SAC'06。ACM，纽约，第1791-1797页 [11] Cohen M、Kooi SB、Srisa-an W（2006）在多线程应用程序中对堆进行聚类，以改进垃圾收集。在：遗传和进化计算会议，GECCO'06。ACM，纽约，第1901-1908页 [12] Dantzig GB（1963）线性规划和扩展。兰德公司研究。新泽西州普林斯顿大学出版社·Zbl 0108.33103号 [13] Doerner K，Gutjahr WJ（2003）ACO从Markov软件使用模型中提取测试序列。收录：遗传和进化计算会议第二部分，GECCO’03。LNCS，第2724卷。柏林施普林格，第2465-2476页·Zbl 1038.68678号 [14] Derderian K、Hierons RM、Harman M、Guo Q（2006）《FSM一致性测试的自动唯一输入输出序列生成》。计算J 49（3）：331-344·doi:10.1093/comjnl/bxl003 [15] Dorigo M（2004）蚁群优化。麻省理工学院出版社，剑桥·邮编1092.90066 ·数字对象标识代码：10.1007/b99492 [16] Dahbura A，Uyar Mü（1995）协议的最佳测试序列生成：应用于Q.931的中国邮差算法。in：OSI协议的一致性测试方法和体系结构。IEEE计算机学会出版社，纽约，第347-351页 [17] Edelkamp S，Lluch-Lafuente A，Leue S（2001）用HSF-SPIN指导显式模型检查。参加：SPIN软件模型检查研讨会，SPIN’01。LNCS，第2057卷。柏林施普林格，第57-79页·Zbl 0986.68521号 [18] En-Nouaary A、Dssouli R、Khendek F（2002）《定时wp-method：测试实时系统》。IEEE Trans Softw工程28:1023-1038·doi:10.1109/TSE.2002.1049402 [19] Gaudel M-C（1995）测试也可以是正式的。在：第六届CAAP/FASE，软件开发理论与实践，TAPSOFT’95，LNCS，第915卷。柏林施普林格，第82-96页·Zbl 1496.68107号 [20] Godefroid P，Khurshid S（2002）使用遗传算法探索超大状态空间。参加：TACAS'02系统构建和分析工具和算法会议。LNCS，第2280卷。柏林施普林格，第266-280页·Zbl 1043.68591号 [21] Gonenc G（1970）故障检测实验的设计方法。IEEE传输计算19:551-558·Zbl 0195.30902号 ·doi:10.10109/T-C.1970.222975文件 [22] Harman M（2007）《基于搜索的软件工程的现状和未来》。摘自：软件工程未来研讨会，FOSE’07，第342-357页·Zbl 0379.68039号 [23] Hennie FC（1964）时序电路的故障检测实验。摘自：IEEE计算机科学基础年度研讨会，第95-110页 [24] Harman M，Hierons RM，Proctor M（2002）一种新的表示和交叉算子，用于软件模块化的基于搜索的优化。收录：遗传和进化计算会议，GECC0'02。Morgan Kaufmann出版社，Menlo Park，pp 1351-1358 Inc [25] Hierons RM（2002）在存在测试假设和故障域的情况下比较测试集和标准。ACM Trans Softw Eng Methodol公司11（4）：427-448·数字对象标识代码：10.1145/606612.606615 [26] Hierons RM（2004）使用自适应状态计数从非确定性有限状态机进行测试。IEEE传输计算53:1330-1342·doi:10.1109/TC.2004.85 [27] Hierons RM（2009）“判决”在使用故障域或测试假设进行测试时发挥作用。ACM Trans Softw Eng Methodol公司18（4）：1-19·doi:10.1145/1538942.1538944 [28] Harman M，McMinn P（2009）基于搜索的测试的理论和实证研究：局部、全局和混合搜索。IEEE Trans Softw Eng 99（RapidPosts）：226-247 [29] Holland JH（1975）《自然和人工系统的适应》。麻省理工学院出版社，剑桥·Zbl 0317.68006号 [30] Hierons RM，Ural H（2010）生成具有最少重置转换次数的检查序列。Autom Softw工程17:217-250·doi:10.1007/s10515-009-0061-0 [31] Huang G-D，Wang F（2005）实时系统的区域相关覆盖注释自动测试用例生成。参加：2005年ATVA验证和分析自动化技术研讨会。LNCS，第3707卷。柏林施普林格，第144-158页·Zbl 1170.68518号 [32] Ipate F，Banica L（2007）分层和通信有限状态机的W方法。摘自：IEEE工业信息学国际会议，第2卷。IEEE计算机学会，纽约，第891-896页 [33] De Jong KA（2006）进化计算：统一方法。麻省理工学院出版社，剑桥·兹比尔1106.68093 [34] Korel B（1992）软件测试数据生成的动态方法。软件测试验证Reliab 2:203-213·doi:10.1002/svr.4370020405 [35] Langdon WB，Harman M，Jia Y（2009）《遗传编程多目标高阶突变检测》。在：测试：学术和工业会议-实践和研究技术，TAIC-PART’09。IEEE计算机协会，纽约，第21-29页 [36] Lam CP，Xiao J，Li H（2007）使用特征集生成一致性测试序列的蚁群优化。参加：IASTED计算机科学与技术进步会议。墨西哥ACTA出版社，第140-146页 [37] Luo G，von Bochmann G，Petrenko A（1994）基于通信非确定性有限状态机的测试选择（使用广义wp-method）。IEEE Trans Softw工程20:149-162·数字对象标识代码：10.1109/32.263756 [38] Lawler EL，Wood DE（1966）《分枝定界法：一项调查》。运营研究14（4）：699-719·Zbl 0143.42501号 ·doi:10.1287/opre.14.699 [39] Lee D，Yannakakis M（1994）《测试有限状态机：状态识别和验证》。IEEE传输计算43:306-320·Zbl 1395.68173号 ·数字对象标识代码：10.1109/12.272431 [40] Lee D，Yannakakis M（1996）《测试有限状态机的原理和方法：综述》。程序IEEE 84（8）：1090-1123·数字对象标识代码：10.1109/5.533956 [41] Lehre PF，Yao X（2008）在计算唯一输入输出序列时，交叉可以是构造性的。参加：2008年SEAL模拟进化与学习国际会议。LNCS，第5361卷。柏林施普林格，第595-604页·Zbl 1237.68189号 [42] Miller RE，Arisha KA（2001），通过被动测试实现网络故障覆盖。参加：2001年国际互联网计算会议。美国CSREA出版社，第413-419页 [43] McMinn P（2004）《基于搜索的软件测试数据生成：一项调查》。软件测试验证Reliab 14（2）：105-156·doi:10.1002/stvr.294 [44] Michael CC、Michael CC和Michael CC（2001）通过进化生成软件测试数据。IEEE Trans Softw工程27:1085-1110·doi:10.1109/32.988709 [45] Metropolis N、Rosenbluth AW、Rosenbruth MN、Teller AH和Teller E（1953）快速计算机器的状态方程计算。化学物理杂志21（6）：1087-1092·Zbl 1431.65006号 ·数字对象标识代码：10.1063/1.1699114 [46] Petrenko A（2001）《有限状态模型的故障模型驱动测试推导：注释书目》。在：第四届并行过程建模与验证暑期学校，MOVEP’00。LNCS，第2067卷。柏林施普林格，196-205页·Zbl 0985.68677号 [47] Pargas RP，Harrold MJ，Peck RR（1999）使用遗传算法生成测试数据。软件测试验证Reliab 9:263-282·doi:10.1002/（SICI）1099-1689（199912）9:4<263:：AID-STVR190>3.0.CO；2年 [48] Petrenko A、Yevtushenko N、von Bochmann G（1996）《上下文测试的故障模型》。In：分布式系统和通信协议的形式化描述技术（IX），以及协议规范、测试和验证（XVI）。查普曼和霍尔，伦敦，第163-178页 [49] 罗德里格斯一世，梅拉约·MG，努涅斯·M\[（2008）{\mathcal{HOTL}}\]：假设和观察检验逻辑。J Log Algebr程序74（2）：57-93·Zbl 1131.68064号 ·doi:10.1016/j.jlap.2007.03.002 [50] Rodríguez I（2009）《通用测试性理论》。参加：2009年CONCUR并发理论国际会议。LNCS，第5710卷。柏林施普林格，第572-586页·Zbl 1254.68152号 [51] Rabanal P，Rodríguez I，Rubio F（2007）使用河流形成动力学设计启发式算法。In：非常规计算，UC'07。LNCS，第4618卷。柏林施普林格，第163-177页·Zbl 1175.68423号 [52] Rabanal P、Rodríguez I、Rubio F（2008）《利用河流形成动力学寻找最小跨度/距离树》。在：蚁群优化和群体智能，ANTS’08。LNCS，第5217卷。柏林施普林格，第60-71页 [53] Rabanal P、Rodríguez I、Rubio F（2009）《应用河流形成动力学解决NP完成问题》。中：Chiong R（ed）自然启发优化算法。计算智能研究，第193卷。柏林施普林格，第333-368页 [54] Rabanal P，Rodríguez I，Rubio F（2009）启发式测试可恢复系统的正式方法。摘自：2009年ICTAC计算机理论方面国际学术讨论会。LNCS，第5684卷。柏林施普林格，第292-306页·兹比尔1250.68081 [55] Sabnani K，Dahbura A（1985）生成协议测试的新技术。SIGCOMM计算通用版本15:36-43·doi:10.145/318951319003 [56] Sabnani K，Dahbura A（1988）协议测试生成程序。计算网络ISDN系统15:285-297·doi:10.1016/0169-7552（88）90064-5 [57] Sidhu D，Leung T-K（1988）协议测试方法的故障覆盖率。In：网络：进化或革命。IEEE计算机和通信协会第七届年会，INFOCOM’88。IEEE计算机学会，纽约，第80-85页 [58] Sidhu DP，Leung T（1989）协议测试的形式化方法：详细研究。IEEE Trans Softw工程15（4）：413-426·数字对象标识代码：10.1109/32.16602 [59] Shen Y，Lombardi F（1996）《使用中国农村邮差巡演进行一致性测试的图形算法》。SIAM J离散数学9:511-528·Zbl 0859.68006号 [60] Srivastava PR，Rai VK（2009）基于控制流的软件测试测试序列生成的蚁群优化方法。信息系统、技术和管理。计算机和信息科学通信，第31卷。柏林施普林格，第345-346页 [61] Tassey G（2002）软件测试基础设施不足的经济影响。国家标准技术研究所技术报告 [62] Wang B，Hutchison D（1987）协议测试技术。计算通用10（2）：79-87·doi:10.1016/0140-3664（87）90104-6 [63] Wegener J、Sthamer H、Jones BF、Eyres DE（1997）使用遗传算法测试实时系统。软质量控制6:127-135·doi:10.1023/A:1018551716639 [64] Zhu H，Hall PAV，May JHR（1997）软件单元测试覆盖率和充分性。ACM计算概况29（4）：366-427·数字对象标识代码：10.1145/267580.267590 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。