弗朗索瓦·迪尔瓦夫；汤姆·施里杰弗斯；温·范霍夫 汞测试输入的自动生成。 （英语） Zbl 1185.68154号 Michael Hanus（编辑），基于逻辑的程序合成和转换。2008年7月17日至18日在西班牙巴伦西亚举行的2008年LOPSTR第18届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-00514-5/pbk）。计算机科学课堂讲稿5438，71-86（2009）。 小结：在这项工作中，我们考虑为Mercury程序自动生成测试输入。我们使用程序的抽象表示，允许将程序执行作为控制流图中的路径进行推理。接下来，我们定义这样一个路径如何与一组约束相对应，这些约束的解决方案定义了被测谓词的输入值，这样当谓词根据这些输入值被调用时，执行就保证遵循给定的路径。该方法与命令式语言的现有工作类似，但已进行了很大程度的调整，以处理Mercury的特殊性，如符号数据表示、谓词失败和非确定性。关于整个系列，请参见[兹比尔1157.68006]. 引用于1文件 MSC公司： 68N17号 逻辑编程 68甲15 编程语言理论 软件：水银；Java PathFinder；哈斯克尔；DPPD公司；快速检查 PDF格式BibTeX公司 XML格式引用 \textit{F.Degrave}等人，Lect。注释计算。科学。5438、71-86（2009年；Zbl 1185.68154） 全文： DOI程序 链接 参考文献： [1] Glass，R.：软件失控：从大规模软件项目失败中吸取的教训。普伦蒂斯·霍尔，恩格尔伍德悬崖（1997） [2] Kaner，C.，Falk，J.，Nguyen，H.Q.：测试计算机软件。约翰·威利和儿子，奇切斯特（1993）·Zbl 0838.68018号 [3] Zhu，H.，Hall，P.，May，J.：软件单元测试覆盖率和充分性。ACM计算调查29（4）（1997）·数字对象标识代码：10.1145/267580.267590 [4] Fischer，S.、Kuchen，H.：功能逻辑程序的玻璃盒测试用例的系统生成。收录于：PPDP 2007:ACM SIGPLAN第九届声明性编程原则与实践国际会议记录，第63-74页。ACM，纽约（2007） [5] Claessen，K.，Hughes，J.：Quickcheck：用于随机测试haskell程序的轻量级工具。收录于：ICFP 2000：第五届ACM SIGPLAN函数式编程国际会议记录，第268-279页。ACM，纽约（2000年）·doi:10.1145/351240.351266 [6] Luo，G.、von Bochmann，G.，Sarikaya，B.、Boyer，M.：序言程序的基于控制流的测试。摘自：《第三届软件可靠性工程国际研讨会论文集》，第104–113页（1992） [7] Belli，B.，Jack，O.：序言程序的基于实现的分析和测试。摘自：ISSTA 1993:1993年ACM SIGSOFT软件测试和分析国际研讨会论文集，第70-80页。纽约ACM出版社（1993） [8] Sy，N.T.，Deville，Y.：具有整数和浮点变量的程序的自动测试数据生成。收录：ASE 2001（2001）会议记录·doi:10.1109/ASE.2001.989786 [9] Gotlieb，A.、Botella，B.、Rueher，M.：使用约束求解技术自动生成测试数据。摘自：ISSTA1998：1998年ACM SIGSOFT软件测试和分析国际研讨会论文集，第53-62页。ACM出版社，纽约（1998）·数字对象标识代码：10.1145/271771.271790 [10] Gupta，N.，Mathur，A.P.，Soffa，M.L.：生成分支覆盖率的测试数据。摘自：自动化软件工程，第219-228页（2000年）·doi:10.1109/ASE.2000.873666 [11] Visser，W.，Pasareanu，C.S.，Khurshid，S.：使用Java探索者测试输入生成。SIGSOFT软件。工程注释29（4），97–107（2004）·doi:10.1145/1013886.1007526 [12] Müller，R.A.，Lembeck，C.，Kuchen，H.：用于生成测试用例的符号化java虚拟机。摘自：IASTED国际软件工程会议，第22届应用信息学多方会议的一部分，2月17日至19日，奥地利因斯布鲁克，第365–371页（2004） [13] Somogyi，Z.，Henderson，H.，Conway，T.：Mercury的执行算法，一种高效的纯声明逻辑编程语言。逻辑程序设计杂志29（4）（1997）·Zbl 0877.68015号 [14] Mweze，N.，Vanhoof，W.：Mercury程序测试输入的自动生成（扩展摘要）。在：Puebla，G.（编辑）LOPSTR 2006。LNCS，第4407卷。斯普林格，海德堡（2007） [15] Mycroft，A.，O'Keefe，R.：Prolog的多态型系统。人工智能23，295–307（1984）·Zbl 0543.68076号 ·doi:10.1016/0004-3702（84）90017-1 [16] Degrave，F.，Vanhoof，W.：水银的控制流图。致：CICLOPS 2007（2007）会议记录·Zbl 1179.68035号 [17] Demoen，B.，de la Banda，M.G.，Stuckey，P.：参数多态性和特殊多态性的类型约束求解。摘自：Edwards，J.（编辑）第22届澳大利亚计算机科学会议，第217-228页。斯普林格，海德堡（1999）·Zbl 0959.68022号 [18] Leuschel，M.：基准测试的dppd库，网址：http://www.ecs.soton.ac.uk/mal/systems/dppd.html 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。