米盖尔·戈梅斯·扎马洛亚;艾尔维拉·阿尔伯特;德国普埃布拉 CLP中面向对象命令式语言的测试用例生成。 (英语) Zbl 1209.68093号 理论与实践。日志。程序。 10,编号4-6,659-674(2010). 摘要:测试是软件开发过程的重要组成部分。测试用例生成(TCG)是自动生成应用于被测系统的测试用例集合的过程。白盒TCG通常通过符号执行来执行,即程序不是在正常值(例如数字)上执行,而是在代表任意值的符号值上执行。在处理面向对象(OO)命令式语言时,符号执行变得很有挑战性,因为除其他外,它必须能够回溯,在TCG过程中应创建复杂的堆分配数据结构,并且必须考虑继承、虚拟调用和异常等特性。由于其固有的符号执行机制,我们在本文中追求约束逻辑编程(CLP)在tcg中有很好的应用领域。我们将通过为面向对象命令式语言的TCG开发一个完全基于CLP的框架,并通过在一组具有挑战性的Java程序上的相应实现上对其进行评估,来支持我们的主张。 引用于5文件 MSC公司: 68N17号 逻辑编程 68N99型 软件理论 关键词:测试用例生成;符号执行;约束逻辑程序设计 软件:ATGen公司;Pex公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Gómez-Zamalloa}等人,《理论与实践》。日志。程序。10、编号4--6、659--674(2010;Zbl 1209.68093) 全文: 内政部 arXiv公司 参考文献: [1] DOI:2009.04.010年10.1016/j.infsof·Zbl 05854378号 ·doi:10.1016/j.infsof.2009.04.010 [2] 内政部:10.1145/271775.271790·数字对象标识代码:10.1145/271775.271790 [3] 内政部:10.1016/j.scico.2004.01.006·Zbl 1091.68071号 ·doi:10.1016/j.scico.2004.01.006 [4] 内政部:10.1145/267580.267590·数字对象标识代码:10.1145/267580.267590 [5] 内政部:10.1109/ASE.2002.115007·doi:10.1109/ASE.2002.115007 [6] 内政部:10.1109/32.92910·Zbl 05114378号 ·doi:10.1109/32.92910 [7] 内政部:10.1109/SERA.2007.59·doi:10.1109/SERA.2007.59 [8] 瓦齐里,TACAS第505页–(2003) [9] 内政部:10.1007/978-3-540-79124-9_10·Zbl 05267203号 ·doi:10.1007/978-3-540-79124-9_10 [10] DOI:10.1016/j.jss.2009.06.029·doi:10.1016/j.jss.2009.06.029 [11] Albert,第15届基于逻辑的程序合成与转换国际研讨会(LOPSTR'05),第115页–(2006)·Zbl 1156.68324号 ·doi:10.1007/116800938 [12] 穆勒,IASTED软件工程会议第365页–(2004) [13] Albert,ACM SIGPLAN部分评估和基于语义的程序操作(PEPM)研讨会,第25页–(2010年) [14] 内政部:10.1002/stvr.225·Zbl 05446765号 ·doi:10.1002/stvr.225 [15] 内政部:10.1007/978-3-642-00515-2_2·Zbl 1185.68146号 ·doi:10.1007/978-3-642-00515-2_2 [16] DOI:10.1145/360248.360252·Zbl 0329.68018号 ·doi:10.1145/360248.360252 [17] Futamura,系统、计算机、控制2第45页–(1971) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。