×

CLP中面向对象命令式语言的测试用例生成。 (英语) Zbl 1209.68093号

摘要:测试是软件开发过程的重要组成部分。测试用例生成(TCG)是自动生成应用于被测系统的测试用例集合的过程。白盒TCG通常通过符号执行来执行,即程序不是在正常值(例如数字)上执行,而是在代表任意值的符号值上执行。在处理面向对象(OO)命令式语言时,符号执行变得很有挑战性,因为除其他外,它必须能够回溯,在TCG过程中应创建复杂的堆分配数据结构,并且必须考虑继承、虚拟调用和异常等特性。由于其固有的符号执行机制,我们在本文中追求约束逻辑编程(CLP)在tcg中有很好的应用领域。我们将通过为面向对象命令式语言的TCG开发一个完全基于CLP的框架,并通过在一组具有挑战性的Java程序上的相应实现上对其进行评估,来支持我们的主张。

MSC公司:

68N17号 逻辑编程
68N99型 软件理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。