×
恩里克·阿尔巴;弗朗西斯科·奇卡诺

使用并行和顺序进化算法进行自动软件测试的观察结果。 （英语） Zbl 1152.68696号

计算。操作。物件。 35，第10号，3161-3183（2008）.
摘要：我们分析了并行和顺序进化算法（EA）在自动测试数据生成问题中的应用。这个问题包括自动创建一组输入数据来测试程序。这是软件开发中的一个基本步骤，也是现有软件公司的一项耗时任务。此任务过去使用了标准顺序EA。我们在这里探讨并行EA的使用。并行方法具有更高的效率、更大的多样性维护、额外的内存/CPU可用性和多解决方案能力，这些证据都强化了这些算法研究进展的重要性。我们在这项工作中描述了规范遗传算法（GA）和进化策略（ES）如何帮助软件测试，以及在这些技术中使用去中心化群体的优势（如果有的话）。此外，我们还研究了所提出的测试数据生成器的一些参数对结果的影响。在实验中，我们使用了一个由12个程序组成的大型基准测试，其中包括计算机科学中的基本算法。

引用于2文件

MSC公司：

68宽10 计算机科学中的并行算法

关键词：

软件测试;进化算法;进化测试;并行进化算法

软件：

PGA包;班德拉;投掷;自旋蛋白;可爱的
PDF格式BibTeX公司 XML格式引用
\textit{E.Alba}和\textit{F.Chicano}，计算。操作。第35号决议，第10号，3161--3183（2008年；Zbl 1152.68696）
全文： 内政部 链接

参考文献：

[1] Dijkstra，E.W.，《编程学科》（1976），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0286.00013号
[2] Dijkstra，E.W。；Scholten，C.S.，谓词演算和程序语义（1990），Springer:Springer New York·Zbl 0698.68011号
[3] Hoare，C.A.R.，《计算机编程的公理基础》，《ACM通信》，第12、10、576-580页（1969年）·Zbl 0179.23105号
[4] 克拉克，E.M。；格伦伯格，O。；Peled，D.A.，《模型检验》（2000年），麻省理工学院出版社：剑桥
[5] 克拉克，E.M。；Emerson，E.A.，《使用分支时间时序逻辑设计和合成同步骨架》，（程序逻辑，研讨会（1982），施普林格：英国施普林格伦敦），52-71·Zbl 0546.68014号
[6] 克拉克，E.M。；艾默生，E.A。；Sistla，A.P.，使用时态逻辑规范自动验证有限状态并发系统，ACM编程语言和系统事务，8，2，244-263（1986）·Zbl 0591.68027号
[7] Holzmann，G.J.，模型检查器SPIN，IEEE软件工程学报，23，5，1-17（1997）
[8] 科贝特，J.C。；德怀尔，M.B。；哈特克利夫，J。；劳巴赫，S。；&abreve；s&abreve；里昂，C.S。；Robby，Bandera:从java源代码中提取有限状态模型，（ICSE'00:第22届国际软件工程会议论文集（2000），ACM出版社：美国纽约州纽约市ACM出版社），439-448
[9] Park DYW、Stern U、Skakkebaek JU、Dill DL。Java模型检查。In：自动化软件工程会议记录；2000年。；Park DYW、Stern U、Skakkebaek JU、Dill DL。Java模型检查。In：自动化软件工程会议记录；2000
[10] Bensalem，S。；加内什，V。；Lakhnech，Y。；诺兹，C.M。；Owre，S。；Rueß，H.，《SAL概述》（Holloway，C.M.，LFM 2000:第五届NASA Langley正式方法研讨会（2000），NASA Lanley研究中心：NASA Landley研究中心，弗吉尼亚州汉普顿），187-196
[11] Groce，A。；Visser，W.，《模型检查java程序的启发式》。技术转让软件工具，6，4，260-276（2004）
[12] Lluch-Lafuente，A。；Leue，S。；Edelkamp，S.，定向模型检查中的部分降阶，（第九届模型检查软件国际SPIN研讨会（2002年），Springer:Springer-Grenoble）·Zbl 1077.68693号
[13] Burch JR、Clarke EM、Long DE、McMillan KL、Dill DL。用于时序电路验证的符号模型检查。1994年IEEE集成电路和系统计算机辅助设计汇刊；13(4):401-24.; Burch JR、Clarke EM、Long DE、McMillan KL、Dill DL。用于时序电路验证的符号模型检查。1994年IEEE集成电路和系统计算机辅助设计汇刊；13(4):401-24.
[14] Lluch-Lafuente A.模型检查中用于错误检测的对称约简和启发式搜索。In:模型检查和人工智能研讨会；2003.; Lluch-Lafuente A.模型检查中用于错误检测的对称约简和启发式搜索。In:模型检查和人工智能研讨会；2003
[15] Alberts D.软件质量保证的经济学。摘自：1976年全国计算机会议记录，第45卷。弗吉尼亚州雷斯顿：AFIPS出版社；1976年，第433-42页。；Alberts D.软件质量保证的经济学。摘自：1976年全国计算机会议记录，第45卷。弗吉尼亚州雷斯顿：AFIPS出版社；1976年，第433-42页。
[16] Myers，G.，《软件测试的艺术》（1979），威利：威利纽约
[17] 米洛·R·D。；McCracken，W。；马丁·R。；Passafiume，J.，软件测试和评估（1987），Benjamin/Cummings:Benjamin/Cummings Menlo Park，CA
[18] Clarke，L.A.，生成测试数据和象征性执行程序的系统，IEEE软件工程汇刊，2，3，215-222（1976）
[19] Miller，W。；Spooner，D.L.，浮点测试数据的自动生成，IEEE软件工程学报，2，3，223-226（1976）
[20] McMinn，P.，基于搜索的软件测试数据生成：一项调查，软件测试、验证和可靠性，14，2105-156（2004）
[21] C.C.迈克尔。；McGraw，G。；Schatz，M.A.，《通过进化生成软件测试数据》，IEEE软件工程学报，27，12，1085-1110（2001）
[22] McMinn P，Holcombe M。进化测试的状态问题。收录：Goos G等人，编辑，《遗传和进化计算会议论文集》，LNCS第2724卷。伊利诺伊州奇卡诺，美国：施普林格；2003年，第2488-98页。；McMinn P，Holcombe M。进化测试的状态问题。收录：Goos G等人，编辑，《遗传和进化计算会议论文集》，LNCS第2724卷。伊利诺伊州奇卡诺，美国：施普林格；2003年，第2488-98页·Zbl 1038.68792号
[23] 曼苏尔，N。；Salame，M.，路径测试的数据生成，《软件质量杂志》，12，2，121-136（2004）
[24] Sen，K。；Marinov，D。；Agha，G.，CUTE：C的一个协调单元测试引擎，（ESEC/FSE-13:与第十三届ACM SIGSOFT软件工程基础国际研讨会联合举行的第十届欧洲软件工程会议记录（2005），ACM出版社：美国纽约州纽约市ACM出版社），263-272
[25] Godefroid，P。；Klarlund，N。；Sen，K.，DART：直接自动化随机测试，（PLDI’05：2005年ACM SIGPLAN编程语言设计与实现会议记录（2005），ACM出版社：美国纽约州纽约市ACM出版社），213-223
[26] 比勒，O。；Wegener，J.，自动化停车系统的进化功能测试，（计算机、通信和控制技术国际会议论文集。计算机、通信与控制技术国际大会论文集，佛罗里达州奥兰多（2003））
[27] 比勒，O。；Wegener，J.，车辆制动辅助系统的进化功能测试，（第六届元启发式国际会议论文集。第六届多元启发式国际大会论文集，奥地利维也纳（2005）），157-162
[28] Korel，B。；Al-Yami，A.M.，面向断言的自动测试数据生成，（第18届软件工程国际会议论文集（1996），IEEE计算机学会出版社：IEEE计算机协会出版社，德国柏林），71-80
[29] Sthamer，H。；韦格纳，J。；Baresel，A.，《使用进化测试提高软件测试的效率和质量》，（第二届亚太软件测试分析与审查会议论文集。第二届亚洲太平洋软件测试分析和审查会议论文集中，澳大利亚墨尔本（2002））
[30] 韦格纳，J。；Sthamer，H。；琼斯，B.F。；Eyres，D.E.，《使用遗传算法测试实时系统》，《软件质量杂志》，6127-135（1997）
[31] 伯德·D。；Munoz，C.，随机自检测试用例的自动生成，IBM系统期刊，22，3，229-245（1983）
[32] Offutt，J.，《集成自动测试数据生成系统》，《系统集成杂志》，1，3，391-409（1991）
[33] Korel，B.，自动化软件测试数据生成，IEEE软件工程学报，16，8，870-879（1990）
[34] 琼斯，B。；Sthamer，H。；Eyres，D.，使用遗传算法的自动结构测试，软件工程杂志，11，5299-306（1996）
[35] Mantere，T。；Alander，J.T.，进化软件工程，综述，应用软计算，5，3，315-331（2005）
[36] Ostrowski D，Reynolds R.使用进化学习和文化算法的基于知识的软件测试代理。在：进化计算大会会议记录，第3卷；1999年，第1657-63页。；Ostrowski D，Reynolds R.使用进化学习和文化算法的基于知识的软件测试代理。在：进化计算大会会议记录，第3卷；1999年，第1657-63页。
[37] Tracey N.用于安全关键软件的基于搜索的自动测试数据生成框架。约克大学博士论文，2000年。；Tracey N.用于安全关键软件的基于搜索的自动测试数据生成框架。2000年，约克大学博士论文。
[38] 特蕾西，N。；克拉克，J。；Mander，K。；McDermid，J.，《结构测试数据生成的自动化框架》，（第13届IEEE自动化软件工程会议论文集。第13届自动化软件工程IEEE会议论文集，美国夏威夷（1998）），285-288
[39] Díaz，E。；Tuya，J。；Blanco，R.，使用基于禁忌搜索的元启发式技术进行自动化软件测试，（第18届IEEE自动化软件工程国际会议论文集（ASE’03）。第18届IEEE自动化软件工程国际会议论文集（ASE’03），加拿大魁北克省蒙特利尔（2003），310-313
[40] Sagarna R，Lozano J.软件测试的可变搜索空间。摘自：《神经网络和信号处理国际会议记录》，第1卷。纽约：IEEE出版社；2003年，第575-8页。；Sagarna R，Lozano J.软件测试的可变搜索空间。摘自：《神经网络和信号处理国际会议记录》，第1卷。纽约：IEEE出版社；2003年，第575-8页。
[41] 萨加纳，R。；Lozano，J.A.，《软件测试中的分散搜索，与分布算法估计的比较和协作》，《欧洲运筹学杂志》，169，2392-412（2006），[在线获取]·Zbl 1079.90179号
[42] Alba E，Chicano JF。进化策略的软件测试。摘自：第二届软件工程技术快速集成国际研讨会论文集，计算机科学讲稿，第3943卷。希腊克里特岛：赫拉克利翁；2005年，第50-65页。；Alba E，Chicano JF。进化策略的软件测试。摘自：第二届软件工程技术快速集成国际研讨会论文集，计算机科学讲稿，第3943卷。希腊克里特岛：赫拉克利翁；2005年，第50-65页。
[43] Bäck，T.，《理论与实践中的进化算法：进化策略、进化规划、遗传算法》（1996），牛津大学出版社：牛津大学出版社，纽约·兹比尔0877.68060
[44] E.阿尔巴。；Tomassini，M.，并行性和进化算法，IEEE进化计算汇刊，6，5，443-462（2002）
[45] Levine D.PGAPack并行遗传算法库用户指南，技术报告ANL-95/18，阿贡国家实验室，数学和计算机科学部，1995年1月31日。；Levine D.PGAPack并行遗传算法库用户指南，技术报告ANL-95/18，阿贡国家实验室数学和计算机科学部，1995年1月31日。
[46] Belding，T.C.，《重新审视分布式遗传算法》（Eshelman，L.J.，《第六届遗传算法国际会议论文集》（1995），Morgan Kaufmann：Morgan Koufmann-Los Altos，CA），114-121
[47] Tanese，R.，《分布式遗传算法》（Schaffer，J.D.，《第三届遗传算法国际会议论文集》（1989），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），434-439
[48] Baluja，S.，遗传搜索中细粒度并行的结构和性能，（Forrest，S.《第五届国际遗传算法会议论文集》（1993），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），155-162
[49] Alba E，Troya JM.获得面向对象编程的新应用领域：并行进化算法案例，《面向对象编程杂志》，2001年12月。；Alba E，Troya JM。获得面向对象编程的新应用领域：并行进化算法案例，面向对象编程杂志，2001年12月。
[50] 戈登，V.S。；Whitley，D.，作为函数优化器的串行和并行遗传算法，（Forrest，S.，《第五届遗传算法国际会议论文集》（1993），Morgan Kaufmann：Morgan Koufmann-Los Altos，CA），177-183
[51] Holland，J.H.，《自然和人工系统中的适应》（1975），密歇根大学出版社：密歇根州安阿伯市密歇根州立大学出版社·Zbl 0317.68006号
[52] Rechenberg，I.，《进化策略：生物进化的优化技术体系》（1973），Fromman-Holzboog Verlag:Fromman-Holzboog-Verlag Stuttgart
[53] 福格尔，L.J。；A.J.欧文斯。；Walsh，M.J.，《通过模拟进化实现人工智能》（1966年），威利出版社：威利纽约·Zbl 0148.40701号
[54] Koza，J.R.，《遗传编程》（1992年），麻省理工学院出版社：麻省剑桥·Zbl 0850.68161号
[55] Bäck T，Fogel DB，Michalewicz Z，编辑。进化计算1。基本算法和运算符，第1卷。IOP出版有限公司；2000.; Bäck T，Fogel DB，Michalewicz Z，编辑。进化计算1。基本算法和运算符，第1卷。IOP出版有限公司；2000. ·Zbl 0973.68197号
[56] 鲁道夫·G·进化计算1。基本算法和运算符，第1卷。IOP出版有限公司；2000年，第81-8页【第9章，进化策略】。；鲁道夫·G·进化计算1。基本算法和运算符，第1卷。IOP出版有限公司；2000年，第81-8页[第9章，进化策略]·兹伯利0973.68197
[57] Xanthakis，S。；埃利斯，C。；斯科拉斯，C。；Le Gall，A。；Katsikas，S。；Karapoulios，K.，《遗传算法在软件测试中的应用》，（第五届软件工程及其应用国际会议论文集。第五届国际软件工程及应用会议论文集，法国图卢兹（1992）），625-636
[58] Sthamer H-H。使用遗传算法自动生成软件测试数据，格拉摩根大学博士论文，1995年11月。；Sthamer H-H。使用遗传算法自动生成软件测试数据，格拉摩根大学博士论文，1995年11月。
[59] E.阿尔巴。；Troya，J.M.，并行分布式遗传算法调查，复杂性，4，31-52（1999）
[60] 韦格纳，J。；Baresel，A。；Sthamer，H.，自动结构测试的进化测试环境，信息与软件技术，43，14，841-854（2001）
[61] Alba E，编辑。并行元启发式。一类新的算法。纽约：Wiley；2005.; Alba E，编辑。并行元启发式。一类新的算法。纽约：Wiley；2005
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。