...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Concolic Testing in CLP
【24h】

Concolic Testing in CLP

机译：CLP中的Con Condolic测试

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. A previous approach to concolic testing in logic programming was not sound because it only dealt with positive constraints (by means of substitutions) but could not represent negative constraints. In this paper, we present a novel framework for concolic testing of CLP programs that generalizes the previous technique. In the CLP setting, one can represent both positive and negative constraints in a natural way, thus giving rise to a sound and (potentially) more efficient technique. Defining verification and testing techniques for CLP programs is increasingly relevant since this framework is becoming popular as an intermediate representation to analyze programs written in other programming paradigms.
机译：Con Congolic测试是一种基于具体和符号执行组合的流行软件验证技术。其主要焦点正在寻找错误和生成测试用例，目的是最大化代码覆盖率。以前的逻辑编程中的调情测试的方法没有声音，因为它只处理正约束（通过替换）但无法表示负约束。在本文中，我们提出了一种新的COSC调节框架，用于推广以前的技术。在CLP设置中，可以以自然的方式表示正极和负约束，从而产生声音和（潜在）更有效的技术。由于该框架作为中间表示，因此越来越重要地，CLP程序的定义验证和测试技术越来越重要，以分析在其他编程范例中写入的程序。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号