艾尔维拉·阿尔伯特;普里阿雷纳斯;米盖尔·戈梅斯·扎马洛亚 在CLP中测试并发对象。 （英语） Zbl 1281.68074号 Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议的技术交流（ICLP 2012），2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学论文集17，98-108，仅电子版（2012）。 摘要：测试是软件开发过程的重要组成部分。在并发语言的上下文中更是如此，因为由于不需要的任务交错和底层任务调度器的意外行为，错误很容易被检测不到。本文研究了基于CLP的序列程序glass-box测试数据生成框架在并发对象上下文中的扩展，这是一种很有前途的OO语言并发解决方案。我们的框架将用于测试顺序程序的标准终止和覆盖标准与从并发角度控制终止和覆盖的特定标准相结合，例如，我们可以限制允许的任务交错数和每个并行组件中执行的循环展开数等。关于整个系列，请参见[Zbl 1253.68010号]. 引用于1文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 第68页第17页 逻辑编程 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：测试;玻璃盒测试数据生成;活动对象;符号执行 软件：ConTest公司 PDF格式BibTeX公司 XML格式引用 \textit｛E.Albert｝等人，LIPIcs——莱布尼茨国际期刊。通知。17、98——108（2012；Zbl 1281.68074） 全文： DOI程序