兹宾，R.S。；V.V.库利亚明。；A.V.Ponomarenko。；鲁巴诺夫。；切诺夫，E.S。 广泛健全性测试生成的自动化。 （英语。俄文原件） 兹比尔1191.68199 程序。计算。柔和。 34，第6号，351-363（2008）; 译自Programmirovanie 34，No.6（2008）。 概述：介绍了俄罗斯科学院系统编程研究所开发的复杂软件的广泛一代健全性测试技术。这种技术称为Azov；它基于使用包含被测系统接口操作结构化信息的数据库，以及通过细化对参数类型和操作结果施加的约束来丰富此信息的过程。该技术的实际应用结果证明，它可以高效地为具有大量功能的系统生成健全性测试。 MSC公司： 68纳米99 软件理论 软件：HOL-TestGen公司；J拉舍；jCUTE公司；AETG公司；UniTESK公司；基诺；罗斯特拉；埃克拉特；电子稳定控制系统/Java；爆炸；投掷；可爱的；科拉特；Symstra公司；测试时代 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Zybin}等人，《程序》。计算。柔和。34，第6号，351--363（2008；Zbl 1191.68199）；翻译自Programmirovanie 34，第6期（2008年） 全文： 内政部 参考文献： [1] IEEE 1003.1-2004。信息技术–可移植操作系统接口（POSIX），纽约：IEEE，2004年。 [2] http://doc.trolltech.com/4.2/index.html . [3] http://www.linuxbase.org . [4] ISO/IEC 9899-1999。编程语言-C，日内瓦：ISO，1999年。 [5] 网址：http://www.pathname.com/fhs/ . [6] XLib–C语言X接口。X联合体标准，http://refspecs.freestandards.org/X11/xlib.pdf . [7] http://www.opengl.org . [8] http://www.gtk.org . [9] http://doc.trolltech.com/3.3/index.html . [10] http://www.linux-foundation.org/navigator/commons/welcome.php . [11] Colbourn，C.J.，《覆盖阵列的组合方面》，Le Mathemetiche（Catania），2004年，第58卷，第121-167页·兹比尔1195.05017 [12] Hartman，A.和Raskin，L.，覆盖数组的问题和算法，离散数学。，2004年，第284卷，第1-3期，第149-156页·Zbl 1044.05029号 ·doi:10.1016/j.disc.2003.11.029 [13] http://www.pairwise.org/tools.asp . [14] http://aetgweb.argreenhous.com/ . [15] Cohen，D.M.、Dalal，S.R.、Kajla，A.和Patton，G.C.，《自动高效测试生成器（AETG）系统》。程序。第五届软件可靠性工程国际研讨会（ISSRE），加利福尼亚州蒙特雷，1994年。 [16] http://www.testcover.com/ . [17] Sherwood，G.，因子组合的有效测试，Proc。第三届软件测试、分析和审查国际会议，华盛顿，1994年。 [18] http://www.satisfice.com/tools.shtml . [19] http://burtleburtle.net/bob/math/jenny.html . [20] http://alphaworks.ibm.com/tech/whitch . [21] http://download.microsoft.com/download/f/5/5/f55484df-8494-48fa-8dbd-8c6f76cc014b/pict33.msi . [22] http://www.turbodata.ca网站/ . [23] http://www.sqlmanager.net/products . [24] http://www.sqledit.com/dg/ . [25] http://www.datatect.com/ . [26] http://www.forsql.com网站/ . [27] Chays，D.，Deng，Y.，Frankl，P.G.，Dan，S.，Vokolos，F.I.和Weyuker，E.J.，AGENDA:关系数据库应用的测试生成器，理工大学技术报告，纽约布鲁克林TR-CIS-2002-042004。 [28] Binning，C.、Kossmann，D.和Lo，E.，《测试数据库应用程序》，Proc。ACM SIGMOD国际会议，芝加哥，ACM，2006年，第739–741页。 [29] Bruno，N.和Chaudhuri，S.，《灵活数据库生成器》，Proc。第31届大型数据库国际会议，挪威特隆赫姆，2005年，第1097-1107页。 [30] Barbosa，D.和Mendelzon，A.，合成XML数据的声明性生成，软件：实践与；《经验》，2006年，第36卷，第10期，第1051–1079页·Zbl 05133879号 ·doi:10.1002/spe.724 [31] Lämmel，R.和Schulte，W.，《基于语法测试的可控组合覆盖》，Proc。TESTCOM’2006，Lect。票据计算。科学。，2006年，第3964卷，第19-38页·Zbl 1185.68256号 ·数字对象标识代码：10.1007/11754008_2 [32] http://www.alphaworks.imb.com/tech/xmlgenerator网站 . [33] http://xml-xig.sourceforge.net/ . [34] http://iwm.uni-koblenz.de/datagen/ . [35] Purdom，P.，《测试解析器的句子生成器》，BIT，1972年，第12卷，第3期，第366-375页·Zbl 0242.68015号 ·doi:10.1007/BF01932308 [36] Celentano，A.、Crespi Rghezzi，S.、Della Vigna，P.、Ghezzi，C.、Granata，G.和Savoretti，F.，《使用句子生成器进行编译器测试》，软件：实践；《经验》，1980年，第10卷，第897-918页·doi:10.1002/spe.4380101104 [37] Maurer，P.，《使用增强的上下文无关语法生成测试数据》，IEEE软件，1990年，第7卷，第4期，第50-56页·Zbl 05101959号 ·doi:10.1109/52.56422 [38] Zelenov，S.V.和Zelenova，S.A.，《为解析器生成阳性和阴性测试》，Programmirovanie，2005年，第31卷，第6期，第25–40页[编程计算软件（英语翻译），2005年。第31卷。第310–320页]·兹比尔1115.68376 [39] http://www.mmsindia.com/JSynTest.html . [40] Zelenov，S.V.、Zelenova，S.A.、Kossatchev，A.S.和Petrenko，A.K.，《编译器和其他正式文本处理器的测试生成》，Programmirovanie，2003年，第29卷，第2号，第59–69页[编程计算软件（英语翻译），2003年第29卷第2号第104–111页]·Zbl 1063.68042号 [41] Demakov，A.V.、Zelenov，S.V.和Zelenova，S.A.，《利用上下文约束生成复杂结构测试数据》，Trudy ISP RAN，2006年，第9卷，第83–96页·Zbl 1191.68206号 [42] Gotlieb，A.、Botella，B.和Rueher，M.，使用约束求解技术自动生成测试数据，ACM SIGSOFT软件工程注释，1998年，第23卷，第2期，第53–62页·数字对象标识代码：10.1145/271775.271790 [43] DeMillo，R.A.和Offut，A.J.，基于约束的自动测试数据生成，IEEE Trans。《软件工程》，1991年，第17卷，第9期，第900-910页·兹伯利05114378 ·doi:10.1109/32.92910 [44] Korel，B.，自动化软件测试数据生成，IEEE Trans。《软件工程》，1990年，第16卷，第8期，第870-879页·Zbl 05114234号 ·doi:10.1109/32.57624 [45] Gupta，N.、Mathur，A.P.和Soffa，M.L.，使用迭代松弛法自动生成测试数据，ACM SIGSOFT软件工程注释，1998年，第23卷，第6期，第231-244页·doi:10.1145/291252.288321 [46] http://www.paras.com/jsp/products.jsp . [47] http://www.t-vec.com/solutions/tvec.php . [48] http://www.suresoftech.com/eng/main/product/api.asp . [49] Marinov，D.和Khurshid，S.，《测试时代：Java程序自动化测试的新框架》，Proc。第16届IEEE自动化软件工程国际会议，2001年，第22-31页。 [50] Boyapati，C.、Khurshid，S.和Marinov，D.，Korat:《基于Java谓词的自动测试》，Proc。《软件测试与分析国际研讨会》，罗马，2002年，第123–133页。 [51] Korel，B.，《自动测试数据生成的动态方法》，Proc。《软件维护大会》，圣地亚哥，1990年，第311-317页。 [52] Pargas，R.P.、Harrold，M.J.和Peck，R.，使用遗传算法生成测试数据，软件测试、验证和；《可靠性》，1999年，第9卷，第4期，第263-282页·doi:10.1002/（SICI）1099-1689（199912）9:4<263:：AID-STVR190>3.0.CO；2年 [53] Seesing，A.和Gross，H.-G.《面向对象软件自动测试生成的遗传编程方法》，国际翻译。系统。科学。申请。，2006年，第1卷，第2期，第127-134页。 [54] Korel，B.，《程序自动测试数据生成》，Proc。ISSSTA，1996年，第209-215页。 [55] Ferguson，R.和Korel，B.，《软件测试数据生成的链接方法》，ACM Trans。《软件工程方法论》，1996年，第5卷，第1期，第63–86页·兹比尔01936327 ·doi:10.1145/226155.226158 [56] Csallner，C.和Smaragdakis，Y.，JCrasher and Automatic Robustness Tester for Java，Software:Practice&；《经验》，2004年，第34卷，第11期，第1025-1050页·Zbl 02184345号 ·doi:10.1002/spe.602 [57] Csallner，C.和Smaragdakis，Y.，检查“n”碰撞：结合静态检查和测试，Proc。第27届软件工程国际会议（ICSE），ACM，2005年，第422-431页。 [58] Csallner，C.和Smaragdakis，Y.，《DSD-Crasher:一种用于缺陷发现的混合分析工具》，Proc。ACM SIGSOFT国际软件测试与分析研讨会（ISSTA），ACM，2006年，第245-254页。 [59] Smaragdakis，Y.和Csallner，C.，《结合静态和动态推理进行缺陷检测》，Proc。TAP2007，Lect。笔记。计算。科学。，2007年，第4454卷，第1-16页·Zbl 05207429号 ·doi:10.1007/978-3-540-73770-4_1 [60] Flanagan，C.、Leino，K.R.M.、Lillibridge，M.、Nelson，G.、Saxe，J.B.和Stata，R.，Java的Exrende静态检查，Proc。ACM SIGPLAN编程语言设计与实现会议，2002年，第193-205页。 [61] Ernst，M.D.、Cockrell，J.、Griswold，W.G.和Notkin，D.，《动态发现可能的程序不变量以支持程序进化》，IEEE Trans。《软件工程》，2001年，第27卷，第2期，第99–123页·数字对象标识代码：10.1109/32.908957 [62] Meyer，B.、Ciupa，I.、Leitner，A.和Liu，L.，面向对象软件的自动测试，Proc。第33条。计算机科学理论与实践当前趋势会议（SOFSEM），施普林格，2007年。 [63] Pacheco，C.和Ernst，M.D.，Eclat:测试输入的自动生成和分类，Proc。ECOOP，2005年，第504-527页。 [64] Pacheco，C.、Lahiri，S.K.、Ernst，M.D.和Ball，T.，反馈定向随机测试生成，Proc。ICSE，2007年，第75-84页。 [65] Xie，T.、Marinov，D.和Notkin，D.，Rostra:检测冗余面向对象单元测试的框架，Proc。第19届IEEE自动化软件工程国际会议（ASE 2004），奥地利林茨，2004年，第196-205页。 [66] Xie，T.、Marinov，D.、Schulte，W.和Notkin，D.，Symstra:《使用符号执行生成面向对象单元测试的框架》，Proc。第11届系统构建和分析工具与算法国际会议（TACAS 2005），爱丁堡，2005年，第365-381页·Zbl 1087.68601号 [67] Artho，C.，Barringer，H.，Goldberg，A.，Havelund，K.，Khurshid，S.，Lowry，M.，Pasareanu，C.，Rosu，G.，Sen，K.Visser，W.，and Washington，R.，《结合测试用例生成和运行时验证》，Theor。计算。科学。，2005年，第366卷，第2-3期，第209-234页·Zbl 1080.68062号 ·doi:10.1016/j.tcs.2004.11.007文件 [68] Sen，K.和Agha，G.，CUTE和jCUTE：混凝土单元测试和显式路径模型检查工具，Proc。《计算机辅助验证》，2006年，第419-423页。 [69] Godefroid，P.、Klarlund，N.和Sen，K.，DART：定向自动随机测试，Proc。《ACM SIGPLAN编程语言设计与实现会议》，芝加哥，2005年，第213-223页。 [70] Tillmann，N.和Schulte，W.，使用Unit Meister进行参数化单元测试，ACM SIGSOFT软件工程注释，2005年，第30卷，第5期，第241–244页·数字对象标识代码：10.1145/1095430.1081745 [71] Yorsh，G.、Ball，T.和Sagiv，M.，《测试、抽象、定理证明：更好地结合》，Proc。软件测试与分析国际研讨会，缅因州波特兰，2006年，美国计算机学会，2006，第145-156页。 [72] A.D.Brucker和B.Wolf，《HOL-TestGen交互式测试》，Proc。FATES，2006年，Lect。票据计算。科学。，2006年，第3997卷，第87–102页。 [73] Harman，A.，基于模型的测试生成工具，2002年，http://www.agedis.de/documents/Model-BasedTestGenerationoTools.pdf。 [74] 反应系统的基于模型的测试：高级讲座，Broy，M.、Jonsson，B.、Katoen，J.-P.、Leucker，M.和Pretschner，A.编辑，Lect。票据计算。科学。，2005年，第3472卷。 [75] Kuliamin，V.V.、Petrenko，A.K.、Kossatchev，A.S.和Bourdonov，I.B.，《UniTesK设计测试套件的方法》，Programmirovanie，2003年，第6期，第25-43页[编程计算软件（英语翻译），2003年第29卷，第6号，第310-322页]。 [76] Ammann，P.和Black，P.E.，《通过模型检查抽象形式规范以生成软件测试》，NIST-IR 6405（扩展版），1999年。 [77] Gargantini，A.和Heitmeyer，C.，使用模型检查生成测试表单需求规范，Proc。第七届欧洲软件工程联合会议和第七届ACM SIGSOFT国际软件工程基础研讨会（ESEC/FSE99），图卢兹，1999年。 [78] Devaraj，G.、Heimdahl，M.P.E.和Liang，D.，《使用模型检查器的覆盖定向测试生成：挑战和机遇》，Proc。2005年第29届国际计算机软件和应用会议（COMPSAC’05），第1卷，第455-462页。 [79] Beyer，D.、Henzinger，T.A.、Jhala，R.和Majumdar，R.，《软件模型检查器爆炸：软件工程应用》，国际期刊《软件工具技术》。《转让》，2007年，第9卷，第5-6期，第505-525页·Zbl 05536156号 ·doi:10.1007/s10009-007-0044-z 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。