×

数学ZBZ-数学第一资源

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

理学硕士:
68N17 逻辑程序设计
68N99型 软件理论
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] DOI:10.1016/j.infsof。2009年4月10日·Zbl 05854378
[2] DOI:10.1145/271775.271790
[3] DOI:10.1016/j.scico。2004年1月6日·Zbl 1091.68071
[4] DOI:10.1145/267580.267590
[5] DOI:10.1109/ASE。2002.1115007
[6] 数字标识码:10.1109/32.92910·Zbl 05114378
[7] DOI:10.1109/血清。2007.59
[八] 瓦齐里,《塔卡斯》第505页——(2003年)
[9] DOI:10.1007/978-3-540-79124-9_10·Zbl 05267203
[10] DOI:10.1016/j.jss。2009.06.029
[11] Albert,第15届基于逻辑的程序综合与转换国际研讨会(LOPSTR'05),第115页–(2006年)·Zbl 1156.68324
[12] Müller,软件工程学术会议第365页–(2004年)
[13] Albert,ACM SIGPLAN部分评估和基于语义的程序操作研讨会(PEPM)第25页–(2010年)
[14] DOI:10.1002/stvr。225个·Zbl 05446765
[15] DOI:10.1007/978-3-642-00515-2 U 2·Zbl 1185.68146
[16] DOI:10.1145/360248.360252·Zbl 0329.68018号
[17] Futamura,系统,计算机,控制2页45–(1971)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。